Abstract: Syftet är att åstadkomma en effektiv övergång från konceptfas till utvecklingsfas med hjälp av metoder som är anpassade för systemsäkerhetskritiska avioniksystem och som är baserade på modeller.
Ramverk för modellering, analys och verifiering av avionik baserat på skalbara metoder, verktyg och ny industristandard så som modelica, SysML och DoDAF. Hörnstenar i ramverket är: återanvändbara modellkomponenter, automatisk kodgenerering och tidig verifiering/validering. Aspekter som stöds är: funktion, arkitektur, systemsäkerhet, prestanda, vikt, energiåtgång och kostnad.Abstract: The objective is to achieve an efficient transition from concept phase to development through model based methods applied for safety critical avionics. A modeling framework for avionics development based on scalable methods, tools and new industry standards such as Modelica, SysML and DoDAF. Key techniques are: reuse of components, code generation and early verification/validation. Aspects concerned: function, architecture, safety, performance, weight, power consumption and cost.