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 10.4204/EPTCS.133.6 Modelica Association Modelica https://www.modelica.org/ 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 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 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 2010 OCL v2.2 - Object Constraint Language http://www.omg.org/spec/OCL/2.2/ OMG 2012 UPDM – Unified Profile for DoDAF and MODAF http://www.omg.org/spec/UPDM/ 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 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