Sökning: onr:"swepub:oai:DiVA.org:kth-102719" >
Towards the Automat...
Towards the Automated Qualification of Tool Chain Design
-
- Asplund, Fredrik (författare)
- KTH,Mekatronik
-
- Biehl, Matthias (författare)
- KTH,Mekatronik
-
- Loiret, Frederic (författare)
- KTH,Mekatronik
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin/Heidelberg, 2012
- 2012
- Engelska.
-
Ingår i: SAFECOMP 2012 Workshops. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642336744 ; , s. 392-399
- Relaterad länk:
-
http://www.springer....
-
visa fler...
-
https://kth.diva-por... (primary) (Raw object)
-
http://kth.diva-port...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The development of safety-critical embedded systems is supported by a number of development tools, which are increasingly integrated into automated tool chains. Safety standards require these tool chains to be qualified, which is costly and requires a large effort. To reduce cost and effort tool chains can be composed of pre-qualified tools and then themselves pre-qualified by identifying the parts of tool chain software that have an impact on safety more exactly. In this paper we propose the use of a modeling language to describe this tool chain composition. This allows us to reduce effort even further by automatically analyzing the tool chain model for safety issues. It also promises to reduce the effort and cost of later steps in the deployment of the tool chain by formalizing the communication of safety issues and automating the generation of code for tool chain software.
Ä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
- Tool Integration
- Qualification
- Safety
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas