 Journal papers and book chapters |
- Wolforth I., Walker M., Grunske L., Papadopoulos Y. (2010), Generalisable Safety Annotations for Specification of Failure Patterns, Software Practice and Experience, 40(5):453-483, Wiley Inderscience. ISSN: 0038-0644.
-
Wolforth I., Walker M., Papadopoulos Y., Grunske L. (2010), Capture and Reuse of Composable Failure Patterns, Int’l Journal of Critical Computer-Based Systems, 1 (1-3): 128-147, Inderscience Publishers, ISSN 1757-8779
-
Walker M., Papadopoulos Y., Parker D., Lönn H. Törngren M., Chen D., Johansson R. Sandberg A. (2009) Semi-Automatic FMEA supporting complex systems with combinations and sequences of failures, SAE International Journal of Passenger Cars- Mechanical Systems October 2009 2(1): 791-802, ISSN: 1946-4002.
-
Walker M., Papadopoulos Y. (2009) Qualitative Temporal Analysis: Towards a full implementation of the Fault Tree Handbook, Control Engineering Practice, Elsevier Science, 17(10):1115-1125, ISSN 0967-0661
-
Invited chapters the Handbook on Automotive Embedded Systems. Editors Nicolas Navet and Francoise Simonot-Lion. Taylor and Francis CRC Press - Series: Industrial Information Technology. ISBN: 9780849380266. 2009.
-
Martin Törngren, DeJiu Chen, Diana Malvius and Jakob Axelsson. Model based development of automotive embedded systems.
-
Mathias Weber and Mark-Oliver Reiser. Product Lines in Automotive Electronics.
-
Henrik Lönn and Ulrich Freund. Automotive Architecture Description Languages.
-
Philippe Cuenot, Patrik Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber (invited paper, under review). The EAST-ADL Architecture Description Language for Automotive Embedded Software Invited brief chapter in the LNCS volume on "Model-Based Engineering of Embedded Real-Time Systems", Holger Giese, Bernard Rumpe, Bernard Schätz, Editors. To appear 2009 |
|
|
| Public deliverables |
Below is the list of public deliverables for the ATESST2 project . The deliverables are available for download below.
-
D1.3 Final report on project results
A summary of the project results
-
D2.1 State of-practice and state of the art
Approaches related to the ATESST2 project are summarized and analyzed with respect to the ATESST goals (appendixes are provided for various modeling issues)
- D3.1 Summary of EAST-ADL2 Update Suggestions
This document summarizes the new modelling concepts developed in ATESST2 (appendixes are provided for various modeling issues)
- D3.2 Refined EAST-ADL2 tool support This is a summary of the tool support developed for the respective area requirements, safety, variability and behavior.
-
D4.1.1a EAST-ADL2 Language definition and Profile
This is the full specification of the UML2 EAST-ADL2 language and profile.
-
D4.1.1b EAST-ADL2 Language definition and Profile
This is the metamodel and profile files
-
D4.2.1 The EAST-ADL2 modeling workbench
The modeling workbench is the ATESST2 tool for EAST-ADL2 modeling
-
D4.3.1 The EAST-ADL2 analysis platform
The analysis platform is the ATESST2 platform for analysis tools
-
D5.1.1 Methodology guideline when using EAST-ADL2
A guideline explaining how to use EAST-ADL2
-
D5.2.1 Guideline for Analysis-driven modeling and arch eval. method
A guideline explaining how anaysis-driven modeling and evaluation can be applied
-
D6.1.1a Case study and demonstrator plan with early case study release
The ATESST2 results will be validated using a case study. This document contains the plans regarding the contents of this case study and demonstrator
-
D6.1.2a Case study
A documentation of the example used in ATESST2
- D6.2.1a Evaluation results
Report of the evaluation of ATESST2 results
-
D7.1.1 Dissemination plan
The Dissemination plan describes the dissemination activities planned by the ATESST partners
-
D7.1.2 Project presentation material
A compilation of representative material presenting the project
-
D7.3.1 Standardization plan and activities
The Standardization plan describes the standardization activities planned by the ATESST2 partners
|
|
|
| Conference papers |
-
Carl-Johan Sjöstedt, Jianlin Shi, Martin Törngren, David Servat, DeJiu Chen, Viktor Ahlsten, Henrik Lönn. Mapping Simulink to UML in the design of embedded systems: Investigating scenarios and transformations. Invited paper. In OMER 4 Post Workshop Proceedings – Sept. 2008.
-
Patrik Frey, Rolf Johansson, Henrik Lönn, Martin Törngren. Engineering Support for Automotive Embedded Systems – Beyond AUTOSAR. FISITA world automotive congress, Sept. 14-19, 2008, Munich.
-
DeJiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren. Modelling Support for Design of Safety-Critical Automotive Embedded Systems. SAFECOMP 2008. The 27th International Conference on Computer Safety, Reliability and Security, 22-25 September 2008, Newcastle upon Tyne, UK.
-
Septavera Sharvia, Yiannis Papadopoulos. Model-based Safety Analysis Using Compositional Analysis and Formal Verification Techniques. Accepted for the 5th Int’l Conference on Computer Systems and Information Systems, Athens, July 2009.
-
Walker M., Papadopoulos Y., Parker D., Lönn H. Törngren M.,,Chen D., Johansson R. Sandberg A., Semi-Automatic FMEA supporting complex systems with combinations and sequences of failures, SAE 2009 World Congress, Paper # 2009-01-0738, 2009.
-
Mark-Oliver Reiser, Ramin Tavakoli Kolagari and Matthias Weber. Compositional Variability— Concepts and Patterns. In: Proceedings of the 42nd Hawaii International Conference on System Sciences (HICSS-42), IEEE Society Press, 2009.
-
Andreas Abele, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Martin Törngren and Matthias Weber. The CVM Framework --- A Prototype Tool for Compositional Variability Management. VAMOS’2010, 4th Fourth International Workshop on Variability Modelling of Software-intensive Systems, Linz, Austria, ICB report 37:101-108, ISSN 1860-2770.
-
Florian Kammüller, Alexander Rein, and Mark-Oliver Reiser. Feature Link Propagation Across Variability Representations with Isabelle/HOL. International Workshop on Product Line Approaches in Software Engineering. In: Proceedings of ICSE 2010
-
Matthias Biehl, Chen DeJiu, Martin Törngren. Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems. In Proceedings of the LCTES 2010 (13-15 April 2010), ACM Press.Walker M., Papadopoulos Y. A Hierarchical Method for the Reduction of Temporal Expressions in Pandora, 8th European Dependable Computing Conference - DYADEM workshop, Valencia, Spain, April, ACM Publications, 2010
-
Papadopoulos Y. Walker M., Reiser M-O, Weber M., Servat D., Abele A., Johansson R., Lonn H., Torngren M., Sanberg A. (2010), Automatic Allocation of Safety Integrity Levels, 8th European Dependable Computing Conference – CARS workshop, Valencia, Spain, April, ACM Publications, 2010
-
Lei Feng, DeJiu Chen, Henrik Lönn, and Martin Törngren: Verifying System Behaviors in EAST-ADL2 with the SPIN Model Checker. IEEE International Conference on Mechatronics and Automation. Xi’an, China, August 4-7, 2010. |
|
|
| Conference papers (cont'd) |
-
Anders Sandberg, DeJiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli-Kolagari, Andreas Abele: Model-based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. Accepted for the 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP). Vienna, Austria. September 14 - 17, 2010.
-
M. Biehl, C.-J. Sjöstedt, and M. Törngren, "A modular tool integration approach - experiences from two case studies", in 3rd Workshop on Model-Driven Tool & Process Integration at the European Conference on Modelling Foundations and Applications, June 2010.
-
Mahmud N., Papadopoulos Y. Walker M., Translation of State Machines to Temporal Fault Trees, Dependable Systems and Networks (DSN ‘2010) – PFARM workshop, June 2010, Chicago, USA.
-
Nggada S.H., Parker D. J., Papadopoulos Y., Dynamic Effect of Perfect Preventive Maintenance on System Reliability and Cost Using HiP-HOPS, IFAC-MCPL 2010, 5th Conference On Management And Control Of Production And Logistics, 08 - 10 September 2010, Coimbra – Portugal
-
Walker M., Papadopoulos Y., A Hierarchical Method for the Reduction of Temporal Expressions in Pandora, 8th European Dependable Computing Conference - DYADEM workshop, Valencia, Spain, April, 2010
-
Nggada S.H., Papadopoulos Y., Parker D. J., Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance, 6th International Conference On Computer Science & Information Systems, Athens, June 2010.
-
Dheedan A., Papadopoulos Y., Multi-Agent Safety Monitoring System, IFAC workshop on Intelligent Manufacturing Systems (IMS’10), Lisbon, June 2010 |
|
|
| PhD thesis, technical magazines, misc. |
-
PhD thesis. Carl-Johan Sjöstedt. Modeling and simulation of physical systems in a mechatronic contexts, 2009-09-06. PhD thesis, Royal Institute of Technology (KTH).
-
PhD thesis. Martin Walker, Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees, University of Hull, 2009.
-
PhD thesis. David Parker, Multi-Objective Optimisation of Safety-Critical Hierarchical Systems, University of Hull, 2010.
-
Philippe Cuenot, Patrik Frey, Rolf Johansson, Henrik Lönn, David Servat, Ramin Tavakoli Kolagari, Matthias Weber, Martin Törngren. ENGINEERING SUPPORT FOR AUTOMOTIVE EMBEDDED SYSTEMS – BEYOND AUTOSAR?ATZ Autotechnology. Invited technical article. ATZautotechnology 2-2009 (April).
-
A number of papers and reports have been published by KTH within the DySCAS project. Some of them explicitly reference the EAST-ADL, in particular with reference to the abstraction level hierarchy. A main reference with relevance to model based development is the following one:
-
DeJiu Chen, Martin Törngren, Magnus Persson, Lei Feng, and Tahir Naseer Qureshi. Towards Model-Based Engineering of Self-Configuring Embedded Systems. Invited chapter in the LNCS volume on "Model-Based Engineering of Embedded Real-Time Systems", Holger Giese, Bernard Rumpe, Bernard Schätz, Editors. To appear 2009. |
|
|
|
