A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems

Autor:	Bernhard Schätz, Christian Buckl, Michael Armbruster, Klaus Becker
Rok vydání:	2014
Předmět:	Constraint (information theory) Engineering Software business.industry Software deployment Embedded system Satisfiability modulo theories Distributed computing Automotive industry Dependability Fault tolerance business Domain (software engineering)
Zdroj:	Software Engineering and Formal Methods ISBN: 9783319104300 SEFM
DOI:	10.1007/978-3-319-10431-7_15
Popis:	In many embedded systems like in the automotive domain, safety-critical features are increasingly realized by software. Some of these features are often required to behave fail-operational, meaning that they must stay alive even in the presence of random hardware failures.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::521d9ee270d30fec2d4e156f2eae42d5 https://doi.org/10.1007/978-3-319-10431-7_15 Zobrazit plný text záznamu