The Open Group Architecture Forum ALES ALES S.r.l. - Advanced Laboratory on Embedded Systems 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 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 Danse 2013 Designing for Adaptability and evolutioN in SoS Engineering DARPA DARPA META Program UK Ministry of Defence MODAF – Ministry of Defence Architecture Framework USA Department of Defence DoDAF – Department of Defence Architecture Framework 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 IBM IBM Rational Rhapsody Designer for Systems Engineering Accellera Systems Initiative Accelera Systems Initiative INRIA INRIA website INRIA 2012 Plasma-Lab: a Statistical Model Checker IP-XACT IP-XACT Technical Committee ITEA2 ITEA2 – Information Technology for European Advancement ITEA2 Modelisar Axel Legay Benoît Delahaye 2010 Statistical Model Checking : An Overview CoRR 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 MBAT MBAT – combined Model-Based Analysis and Testing of embedded systems OMG 2010 OCL v2.2 - Object Constraint Language OMG 2012 UPDM – Unified Profile for DoDAF and MODAF Kwiatkowska M. Parker D., Norman G. 2012 The probabilistic model checker PRISM Modelica Association Project 2012 FMI v2.0 beta 4 SysML Open Source Specification Project SysML v. 1.3 Specification SPEEDS 2010 SPEculative and Exploratory Design in Systems Engineering SPRINT SPRINT – Software PlatfoRm for Integration of eNgineering and Things 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