Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project
暂无分享,去创建一个
Jim Woodcock | Peter Gorm Larsen | Peter Fritzson | Jörg Brauer | John S. Fitzgerald | Ole Green | Stylianos Basagiannis | Andrey Sadovykh | Thierry Lecomte | Christian Kleijn | Markus Pfeil | J. Fitzgerald | J. Woodcock | P. Fritzson | P. Larsen | C. Kleijn | A. Sadovykh | Stylianos Basagiannis | Jörg Brauer | M. Pfeil | T. Lecomte | Ole Green
[1] Lauretta O. Osho,et al. Axiomatic Basis for Computer Programming , 2013 .
[2] I. Quadri,et al. INTO-CPS : An integrated “ tool chain ” for comprehensive Model-Based Design of Cyber-Physical Systems , 2016 .
[3] IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) — Framework and Rules , 2001 .
[4] Peter Schneider,et al. Master for Co-Simulation Using FMI , 2011 .
[5] Edward A. Lee,et al. FIDE: an FMI integrated development environment , 2016, SAC.
[6] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[7] Michael J. Butler,et al. Co-simulating event-B and continuous models via FMI , 2014, SummerSim.
[8] Gawthrop. A tutorial introduction for control engineers , 2014 .
[9] Claus Ballegaard Nielsen,et al. Strengthening Collaboration, Integration and Modelling in System of Systems Engineering , 2014 .
[10] Peter A. Fritzson,et al. Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .
[11] Jan Peleska,et al. Industrial-Strength Model-Based Testing - State of the Art and Current Challenges , 2013, MBT.
[12] W. Marsden. I and J , 2012 .
[13] David Broman,et al. Determinate composition of FMUs for co-simulation , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
[14] Matthias Jarke,et al. Requirements tracing , 1998, CACM.
[15] Nick Battle,et al. The overture initiative integrating tools for VDM , 2010, ACM SIGSOFT Softw. Eng. Notes.
[16] Patrick Mäder. Rule-based maintenance of post-requirements traceability , 2010 .
[17] John S. Baras,et al. HybridSim: A Modeling and Co-simulation Toolchain for Cyber-physical Systems , 2013, 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications.
[18] Peter Gorm Larsen,et al. A formal approach to collaborative modelling and co-simulation for embedded systems† , 2013, Mathematical Structures in Computer Science.
[19] Peter Gorm Larsen,et al. Collaborative Design for Embedded Systems , 2014, Springer Berlin Heidelberg.
[20] Pieter J. Mosterman,et al. Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems , 2016, Software & Systems Modeling.
[21] Jim Woodcock,et al. Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains , 2015, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
[22] Manfred Broy,et al. Engineering Cyber-Physical Systems: Challenges and Foundations , 2012, CSDM.
[23] Andreas Junghanns,et al. Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .
[24] J. F. Broenink,et al. Design support and tooling for dependable embedded control software , 2010, SERENE.
[25] Leandro Soares Indrusiak,et al. Handbook of Research on Embedded Systems Design , 2014 .
[26] Edward A. Lee,et al. Industrial Cyber-Physical Systems - iCyPhy , 2013, CSDM.
[27] Jim Woodcock,et al. Behavioural Models for FMI Co-simulations , 2016, ICTAC.
[28] A. W. Roscoe,et al. FDR3 - A Modern Refinement Checker for CSP , 2014, TACAS.
[29] Takeo Kanade,et al. Unifying Theories of Programming , 2010, Lecture Notes in Computer Science.
[30] Casper Thule. Verifying the Co-Simulation Orchestration Engine for INTO-CPS ⋆ , 2016 .
[31] R. K. Ursem. Multi-objective Optimization using Evolutionary Algorithms , 2009 .
[32] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[33] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[34] Jozef Hooman,et al. Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ , 2006, FM.