A-CPS: Automation in High-performance Cyber Physical Systems Development

In this paper, we describe the Automation in High-performance Cyber Physical Systems Development research project. Its main goal is to contribute to the advancement of the state of the art in the m ...

[1]  Julien DeAntoni,et al.  Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare , 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

[2]  Federico Ciccozzi,et al.  MoVES: A Model-Driven Methodology for Vehicular Embedded Systems , 2018, IEEE Access.

[3]  Jukka Mäki-Turja,et al.  The Rubus component model for resource constrained real-time systems , 2008, 2008 International Symposium on Industrial Embedded Systems.

[4]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

[5]  Rolf Johansson,et al.  A Design Framework for End-To-End Timing Constrained Automotive Applications , 2010 .

[6]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[7]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[8]  Safaei Moghaddam Abdollah.  Performance Evaluation and Modeling of a Multicore AUTOSAR System , 2014 .

[9]  Jean-Luc Dekeyser,et al.  A Model-Driven Design Framework for Massively Parallel Embedded Systems , 2011, TECS.

[10]  Tony Gorschek,et al.  A Model for Technology Transfer in Practice , 2006, IEEE Software.

[11]  Mikael Sjödin,et al.  Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints , 2017, Software & Systems Modeling.

[12]  Edward A. Lee,et al.  A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[13]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..