The Open Group Architecture Forum http://www.opengroup.org/togaf/ ALES ALES S.r.l. - Advanced Laboratory on Embedded Systems http://www.ales.eu.com/site/ Alexandre ARNOLD Benoît BOYER Axel LEGAY 2013 Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach Modelica Association Modelica https://www.modelica.org/ Christel Baier Joost-Pieter Katoen 2008 Principles of Model Checking (Representation and Mind Series) The MIT Press http://mitpress.mit.edu/books/principles-model-checking Ananda Basu Saddek Bensalem Marius Bozga Benoît Delahaye Axel Legay 2012 Statistical abstraction and model-checking of large heterogeneous systems Int. J. Softw. Tools Technol. Transf. 14 1 53–72 10.1007/s10009-011-0201-2 Manfred Broy Christian Leuxner Tony Hoare 2011 Software and Systems Safety - Specification and Verification NATO Science for Peace and Security Series - D: Information and Communication Security 30 IOS Press Cheng all 2009 Software Engineering for Self-Adaptive Systems: A Research Roadmap Software Engineering for Self-Adaptive Systems LNCS 5525 10.1007/978-3-642-02161-9 Edmund Clarke Alexandre Donzé Axel Legay 2010 On simulation-based probabilistic model checking of mixed-analog circuits Form. Methods Syst. Des. 36 2 97–113 10.1007/s10703-009-0076-y Edmund M. Clarke James R. Faeder Christopher J. Langmead Leonard A. Harris Sumit Kumar Jha Axel Legay 2008 Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway Monika Heiner AdelindeM. Uhrmacher Computational Methods in Systems Biology Lecture Notes in Computer Science 5307 Springer Berlin Heidelberg 231–250 10.1007/978-3-540-88562-7_18 Edmund M. Clarke, Jr. Orna Grumberg Doron A. Peled 1999 Model checking The MIT Press
Cambridge, MA, USA
http://mitpress.mit.edu/books/model-checking
M. D'Angelo A. Ferrari O. Ogaard C. Pinello A. Ulisse 2012 A Simulator based on QEMU and SystemC for Robustness Testing of a Networked Linux-based Fire Detection and Alarm System Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software http://www.erts2012.org/Site/0P2RUC89/4B-3.pdf Danse 2013 Designing for Adaptability and evolutioN in SoS Engineering https://www.danse-ip.eu/home/ DARPA DARPA META Program http://cps-vo.org/group/avm/meta/ UK Ministry of Defence MODAF Ministry of Defence Architecture Framework http://www.modaf.org.uk USA Department of Defence DoDAF Department of Defence Architecture Framework http://dodcio.defense.gov/dodaf20.aspx A. Ferrari M. Carloni A. Mignogna F. Menichelli D. Ginsberg E. Scholte D. Nguyen 2012 Scalable virtual prototyping of distributed embedded control in a modern elevator system Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on 267–270 10.1109/SIES.2012.6356593 A. Ferrari L. Mangeruca O. Ferrante M. Mignogna 2012 DesyreML: a SysML profile for heterogeneous embedded systems Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software http://www.erts2012.org/Site/0P2RUC89/5B-1.pdf Jasmin Fisher Thomas A. Henzinger Dejan Nickovic Nir Piterman Anmol V. Singh Moshe Y. Vardi 2011 Dynamic Reactive Modules CONCUR LNCS 6901 10.1007/978-3-642-23217-6_27 Carlo Ghezzi 2011 Engineering Evolving and Self-Adaptive Systems: An Overview Broy 88–102 10.3233/978-1-60750-711-6-88 IBM IBM Rational Rhapsody Designer for Systems Engineering http://www-142.ibm.com/software/products/it/it/ratirhapdesiforsystengi/ Accellera Systems Initiative Accelera Systems Initiative http://www.accellera.org/ INRIA INRIA website http://www.inria.fr/ INRIA 2012 Plasma-Lab: a Statistical Model Checker http://project.inria.fr/plasma-lab/ IP-XACT IP-XACT Technical Committee http://www.accellera.org/activities/committees/ip-xact/ ITEA2 ITEA2 Information Technology for European Advancement http://www.itea2.org/ ITEA2 Modelisar http://www.itea2.org/project/index/view/?project=217 Cyrille Jégourel Axel Legay Sean Sedwards 2012 A Platform for High Performance Statistical Model Checking - PLASMA TACAS 498–503 10.1007/978-3-642-28756-5_37 Sumit K. Jha Edmund M. Clarke Christopher J. Langmead Axel Legay André Platzer Paolo Zuliani 2009 A Bayesian Approach to Model Checking Biological Systems Proceedings of the 7th International Conference on Computational Methods in Systems Biology CMSB '09 Springer-Verlag
Berlin, Heidelberg
218–234 10.1007/978-3-642-03845-7_15
Axel Legay Benoît Delahaye 2010 Statistical Model Checking : An Overview CoRR abs/1005.1327 http://arxiv.org/abs/1005.1327 Mark W. Maier 1998 Architecting principles for systems-of-systems Systems Engineering 1 4 267–284 10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D Mathworks The Mathworks http://www.mathworks.it/ MBAT MBAT combined Model-Based Analysis and Testing of embedded systems https://www.mbat-artemis.eu/ OMG Object Managment Group http://www.omg.org/ OMG 2010 OCL v2.2 - Object Constraint Language http://www.omg.org/spec/OCL/2.2/ OMG 2011 UML v2.1.2 http://www.omg.org/spec/UML/2.1.2/ OMG 2012 UPDM Unified Profile for DoDAF and MODAF http://www.omg.org/spec/UPDM/ Atos Origin 2011 MDT OCL/Ocl Checker http://wiki.eclipse.org/MDT_OCL/Ocl_Checker Kwiatkowska M. Parker D., Norman G. 2012 The probabilistic model checker PRISM http://www.prismmodelchecker.org Modelica Association Project 2012 FMI v2.0 beta 4 https://www.fmi-standard.org/ SysML Open Source Specification Project SysML v. 1.3 Specification http://www.sysml.org Koushik Sen Mahesh Viswanathan Gul Agha 2005 On Statistical Model Checking of Stochastic Systems Kousha Etessami Sriram K. Rajamani CAV 266–280 10.1007/11513988_26 SPEEDS 2008 D 2.5.4: Contract Specification Language http://speeds.eu.com/downloads/D_2_5_4_RE_Contract_Specification_Language.pdf SPEEDS 2010 SPEculative and Exploratory Design in Systems Engineering http://www.speeds.eu.com/ SPRINT SPRINT Software PlatfoRm for Integration of eNgineering and Things http://www.sprint-iot.eu/ S Xiaoxia Z Qiuhai 2003 MPII-18-3 The Introduction on High Level Architecture (HLA) and Run-Time Infrastructure (RTI) SICE-ANNUAL CONFERENCE- 1 SICE; 1999 1136–1139 Samir Younes Edmund M. Clarke Geoffrey J. Gordon Jeff G. Schneider 2005 Verification and Planning for Stochastic Processes with Asynchronous Events Technical Report Carnegie Mellon University 10.1.1.68.4454 Ji Zhang Betty H. C. Cheng 2006 Model-based development of dynamically adaptive software ICSE ACM 10.1145/1134285.1134337