ATESST2
Overview  
Partners  
Newsletter  
Presentations  
Events  
Reports and publications  
EAST-ADL2 specs, profile and tools  
  ATESST1 webpages  
Version française  
  • Journal papers and book chapters
  • Public deliverables
  • Conference papers
  • Conference papers (cont'd)
  • PhD thesis, technical magazines, misc.

  •  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

     

    D1.3 Final report on project results
    D2.1 State of-practice and state of the art
    D2.1 State of-practice and state of the art (Requirements and V&V Support)
    D2.1 State of-practice and state of the art (Review of relevant Safety Analysis
    Techniques)
    D2.1 State of-practice and state of the art (Evaluation Report of EAST-ADL2
    Variability and Reuse Support)
    D2.1 State of-practice and state of the art (Evaluation report EAST-ADL2 behavior support)
    D3.1 Summary of EAST-ADL2 Update Suggestions
    D3.1 Update Suggestions for Requirements
    and V&V Support
    D3.1 Update suggestions for
    Safety Analysis support
    D3.1 Update Suggestions for
    Variability Management and Reuse
    D3.1 Update Suggestions for Behavioral
    Suppport
    D3.2 Refined EAST-ADL2 tool support
    D4.1.1a EAST-ADL2 Language definition
    D4.1.1a EAST-ADL2 Profile definition
    D4.2.1 The EAST-ADL2 modeling workbench
    D4.3.1 The EAST-ADL2 analysis platform
    D5.1.1 Methodology guideline when using EAST-ADL2
    D5.1.1 Methodology guideline when using EAST-ADL2 (annex EPF plugins as RAR file)
    D5.2.1 Guideline for Analysis-driven modeling and arch eval. method
    D6.1.1a Case study and demonstrator plan
    D6.1.2a Case study
    D6.1.2a Case study (annex)
    D6.2.1a Evaluation results
    D7.1.1 Dissemination plan
    D7.1.2 Project presentation material
    D7.3.1 Standardization plan and activities

     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.

    ATESST - Last update : 31/05/2011 14:41:12 - Legal Notice
    © CEA 2003-2014 All Rights Reserved