Towards improving dependability of automotive systems by using the EAST-ADL architecture description language
作者： Philippe Cuenot , DeJiu Chen , Sébastien Gérard , Henrik Lönn , Mark-Oliver Reiser
DOI: 10.1007/978-3-540-74035-3_3
关键词:
摘要: The complexity of embedded automotive systems calls for a more rigorous approach to system development compared current state practice. A critical issue is the management engineering information that defines system. Development time, cost efficiency, quality and most importantly, dependability, all benefit from appropriate management. System modeling based on an architecture description language way keep in one structure. EAST-ADL was developed EAST-EEA project (www.east-eea.org) systems. It currently refined ATESST (www.atesst.org). This chapter describes how dependability addressed EAST-ADL. process defined EASIS (www.easis-online.org) used as example illustrate support processes
springer.com
sci-hub.st 参考文章(28)
O Akerlund, Pierre Bieber, Eckard Boede, M Bozzano, M Bretschneider, C. Castel, A. Cavallo, Massimo Cifaldi, Jean Gauthier, Alain Griffault, O Lisagor, A Luedtke, S Metge, C Papadopoulos, T Peikenkamp, L Sagaspe, C Seguin, H Trivedi, L Valacca, ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects Conference ERTS'06. ,(2006)
M. F. Chudleigh, J. R. Catmur, Arthur D. Little, F. Redmill, A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System international conference on computer safety, reliability, and security. pp. 42- 58 ,(1995) , 10.1007/978-1-4471-3054-3_4
M. Bozzano, Adolfo Villafiorita, Ove Åkerlund, Pierre Bieber, Christian Bougnol, Eckard Böde, Matthias Bretschneider, Antonella Cavallo, C Castel, M Cifaldi, Alessandro Cimatti, A Griffault, C Kehren, B Lawrence, A Lüdtke, S Metge, C Papadopoulos, R Passarello, T Peikenkamp, P Persson, C Seguin, L Trotta, L Valacca, Gabriele Zacco, ESACS: an integrated methodology for design and safety analysis of complex systems ,(2003)
Patrick Tessier, Sébastien Gérard, François Terrier, Jean-Marc Geib, Using Variation Propagation for Model-Driven Management of a System Family Software Product Lines. pp. 222- 233 ,(2005) , 10.1007/11554844_24
Paul Clements, Linda M. Northrop, Software Product Lines: Practices and Patterns ,(2001)
Marco Bozzano, Adolfo Villafiorita, Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform international conference on computer safety, reliability, and security. pp. 49- 62 ,(2003) , 10.1007/978-3-540-39878-3_5
Neil R. Storey, Safety-critical computer systems ,(1996)
Yiannis Papadopoulos, John A. McDermid, Hierarchically Performed Hazard Origin and Propagation Studies international conference on computer safety, reliability, and security. pp. 139- 152 ,(1999) , 10.1007/3-540-48249-0_13
Sébastien Gérard, François Terrier, Nikos S. Voros, Christos Koulamas, Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology DIPES '00 Proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems: Architecture and Design of Distributed Embedded Systems. pp. 11- 22 ,(2000) , 10.1007/978-0-387-35409-5_2
Kyo C. Kang, Sajoong Kim, Jaejoon Lee, Kijoo Kim, Euiseob Shin, Moonhang Huh, FORM: A feature-oriented reuse method with domain-specific reference architectures Annals of Software Engineering. ,vol. 5, pp. 143- 168 ,(1998) , 10.1023/A:1018980625587