Sökning: WFRF:(Sander Ingo)
> (2020-2023) >
TOWARDS CORRECT-BY-...
TOWARDS CORRECT-BY-CONSTRUCTION DESIGN OF SAFETY-CRITICAL EMBEDDED AVIONICS SYSTEMS
-
- Sander, Ingo, Professor, 1964- (författare)
- KTH,Elektronik och inbyggda system
-
- Söderquist, Ingemar (författare)
- Saab AB, Bröderna Ugglas Gata, 581 88 Linköping, Sweden, Bröderna Ugglas Gata
-
- Ekman, Mats (författare)
- Saab AB, Bröderna Ugglas Gata, 581 88 Linköping, Sweden, Bröderna Ugglas Gata
-
visa fler...
-
- Jordao, Rodolfo (författare)
- KTH,Elektronik och inbyggda system
-
- Bahrami, Fahimeh (författare)
- KTH,Elektronik och inbyggda system
-
- Chen, Rui (författare)
- KTH,Elektronik och inbyggda system
-
- Åhlander, Anders (författare)
- Saab AB, Solhusgatan 10, 412 89 Göteborg, Sweden, Solhusgatan 10
-
visa färre...
-
(creator_code:org_t)
- International Council of the Aeronautical Sciences, 2022
- 2022
- Engelska.
-
Ingår i: 33rd Congress of the International Council of the Aeronautical Sciences, ICAS 2022. - : International Council of the Aeronautical Sciences. ; , s. 1637-1658
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- New methodologies are needed for the development of avionics systems to meet today’s software explosion in complexity and related cost due to the increased functionality in the aircraft. Current design flows for software-intensive systems do not have a clear path from the functional specification to the final implementation and cannot provide real-time guarantees. The situation will become even more difficult because, in the future, more and more applications will share the same computation nodes and the network in a distributed hierarchical network-based system. In order to overcome the present situation, a novel methodology for a correct-by-construction design of safety-critical embedded avionics systems has been created and formulated within the Vinnova NFFP7 project CORRECT. Correct-by-construction design is a radical departure from current design practice, with the potential to decrease the verification costs for future systems significantly. The paper presents the underlying foundation of the methodology, its carefully selected ingredients, and discuss available results and existing tool support. The methodology is based on a disciplined system modelling environment grounded on a sound formal foundation, a design space exploration technique, and a clear path to hardware and software synthesis. An industrial case study investigates the potential of the methodology.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Correct-by-Construction Design
- Design Space Exploration
- Integrated Modular Avionics
- System Modelling
- System Synthesis
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)