Abstrakt. Syftet med ARINC 661-specifikationen [1] är att definiera gränssnitt mot ett system för visning i sittbrunn (CDS) som används i alla typer av luftfartygsinstallationer. ARINC 661 ger exakt information för kommunikationsprotokoll mellan program (kallas User Applications) och användargränssnitt komponenter (kallas widgets) samt exakt information om widgets själva. Men i ARINC 661, ingen information ges om beteendet hos dessa widgets och om beteendet hos en ansökan som består av en uppsättning av sådana widgets. I detta dokument presenteras resultaten av tillämpningen av en formell beskrivningsteknik på de olika delarna av ARINC 661-specifikationen inom ett industriprojekt. Denna formella beskrivningsteknik som kallas Interactive Cooperative Objects definierar på ett exakt och icke-ambigent sätt alla element i ARINC 661 specifikation. Tillämpningen av de formella beskrivningsteknikerna visas på en interaktiv applikation som kallas MPIA (Multi Purpose Interactive Application). I detta program presenterar vi hur ICO används för att beskriva interaktiva widgets, User Applications och User Interface servrar (som ansvarar för interaktionstekniker). Tonvikten läggs på modellbaserad hantering av känslan av de tillämpningar som möjliggör snabb prototypering av den externa presentationen och interaktionsteknikerna. Slutligen presenterar vi CASE-verktyget (Computer Aided Software Engineering) som stöder den formella beskrivningstekniken och dess nya utökningar för att hantera storskaliga tillämpningar som de som ARINC 661-specifikationen riktar sig till.
Barboni m.fl. i REF används ICO på en cockpit display system för att beskriva interaktiva widgets, användarprogram och användargränssnitt servrar.
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification
{'venue': 'DSV-IS', 'journal': None, 'mag_field_of_study': ['Computer Science']}