De tekniska rapporterna är tillgängliga enbart på engelska. Här ges en kort sammanfattning på svenska.
This page in English.
HS-IKI-TR-08-001
Titel: Verifying an industrial system using REX
Författare: AnnMarie Ericsson
Sammanfattning:
Användandet av formella metoder för att höja kvalitén på mjukvara används inte i någon stor utsträckning inom industrin. Vi hävdar att användandet av ett verktyg där man kan specificera sitt system i ett högnivåspråk istället för direkt i det formella språket är en möjlig väg för att förse mjukvaruutvecklare med kraftfulla verifieringsverktyg som är specifika för olika paradigmer. Verktyget REX stödjer specifikation av applikationer specificerade som en mängd regler och sammansatta händelser. Dessutom tillhandahåller REX stöd för att överföra regelbaserade modeller och applikations specifika krav från REX till det formella verktyget Uppaal. Model-checkern i Uppaal kontrolleras automatiskt av REX. I denna rapport presenteras en fallstudie där ett system som används för att planera produktionen på Volvo IT i Skövde har specificerats som regler och verifierats formellt med hjälp av REX. Syftet med fallstudien är att visa att REX kan användas för att specificera och verifiera ett komplext system som används i verkligheten.
HS-IKI-TR-08-002
Titel: Investigating human-computer interaction issues in information-fusion-based decision support
Författare: Maria Nilsson, Maria Riveiro, Tom Ziemke
Sammanfattning:
Informationsfusion är ett forskningsområde som fokuserar på hur information från flera olika källor kombineras för att på så sätt stödja beslutfattande. Informationfusion har hittills mest fokuserat på de tekniska aspekterna vilket gör att det finns en begränsad insikt i de faktorer som påverkar användandet av dessa informationsfusions-baserade system. Denna rapport presenterar ett ramverk bestående av ett antal faktorer som påvekar interaktionen mellan användare och system. Det framtagna ramverket som belyser aspekter på människa-datorinteraktionen kan användas vid design av nya informationsfusionsystem. Både den teoretiska bakgrunden till ramverket och en heuristisk utvärdering presenteras.
HS-IKI-TR-08-003
Titel: Evaluating Credal Set Theory as a Belief Framework in High-Level Information Fusion for Automated Decision-Making
Författare: Alexander Karlsson
HS-IKI-TR-08-004
Titel: Information Fusion from Databases, Sensors and Simulations. Annual report 2007.
Författare: Sten F Andler, Marcus Brohede (Eds.)