A formal model for constraint-based deployment calculation and analysis for fault-tolerant systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8702 LNCS, Issue , 2014, Pages 205-219

  Becker, Klaus ^a   Schätz, Bernhard ^a   Armbruster, Michael ^b   Buckl, Christian ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

Dependability; Deployment; Fail Operational; Fault Tolerance; Mixed Critical; SMT Solver

Indexed keywords

FAULT TOLERANCE; FORMAL METHODS;

DEPENDABILITY; DEPLOYMENT; FAIL-OPERATIONAL; MIXED-CRITICAL; SMT-SOLVER;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84905965769     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-10431-7_15     Document Type: Conference Paper

References (10)

1. Avizienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing (1), 11-33 (2004)
2. Blanke, M., Staroswiecki, M., Wu, N.E.: Concepts and methods in fault-tolerant control. In: Proceedings of the American Control Conf., vol. 4. IEEE (2001)
3. Sommer, S., Camek, A., Becker, K., Buckl, C., Knoll, A., Zirkler, A., Fiege, L., Armbruster, M., Spiegelberg, G.: Race: A centralized platform computer based architecture for automotive applications. In: IEEE Vehicular Electronics Conference / Int. Electric Vehicle Conference (VEC-IEVC) (2013)
4. Armbruster, M., Fiege, L., Freitag, G., Schmid, T., Spiegelberg, G., Zirkler, A.: Ethernet-Based and Function-Independent Vehicle Control-Platform: Motivation, Idea and Technical Concept Fulfilling Quantitative Safety-Requirements from ISO 26262. In: Adv. Microsystems for Automotive Applications (AMAA), pp. 91-107 (2012)
5. Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 166-184. Springer, Heidelberg (2001) (Pubitemid 33351857)
6. International Organization for Standardization: ISO/DIS 26262-1 - Road vehicles - Functional safety, Part 1 Glossary. Technical report, ISO/TC 22 (2011)
7. Becker, K., Armbruster, M., Schätz, B., Buckl, C.: Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. In: 1st Workshop on Engineering Dependable Systems of Systems (EDSoS) (2014)
8. de Moura, L., Bjørner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
9. Shelton, C., Koopman, P., Nace, W.: A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems. In: Int.Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), pp. 156-163. IEEE (2003)
10. Boone, B., De Turck, F., Dhoedt, B.: Automated deployment of distributed software components with fault tolerance guarantees. In: 6th Int. Conf. on Software Engineering Research, Management and Applications (SERA), pp. 21-27. IEEE (2008)