References

  1. The Open Group Architecture Forum. Available at http://www.opengroup.org/togaf/.
  2. ALES: ALES S.r.l. - Advanced Laboratory on Embedded Systems. Available at http://www.ales.eu.com/site/.
  3. Alexandre ARNOLD, Benoît BOYER & Axel LEGAY (2013): Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach, doi:10.4204/EPTCS.133.6.
  4. Modelica Association: Modelica. Available at https://www.modelica.org/.
  5. 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. In: Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software. Available at http://www.erts2012.org/Site/0P2RUC89/4B-3.pdf.
  6. Danse (2013): Designing for Adaptability and evolutioN in SoS Engineering. Available at https://www.danse-ip.eu/home/.
  7. DARPA: DARPA META Program. Available at http://cps-vo.org/group/avm/meta/.
  8. UK Ministry of Defence: MODAF – Ministry of Defence Architecture Framework. Available at http://www.modaf.org.uk.
  9. USA Department of Defence: DoDAF – Department of Defence Architecture Framework. Available at http://dodcio.defense.gov/dodaf20.aspx.
  10. 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. In: Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on, pp. 267–270, doi:10.1109/SIES.2012.6356593.
  11. A. Ferrari, L. Mangeruca, O. Ferrante & M. Mignogna (2012): DesyreML: a SysML profile for heterogeneous embedded systems. In: Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software. Available at http://www.erts2012.org/Site/0P2RUC89/5B-1.pdf.
  12. IBM: IBM Rational Rhapsody Designer for Systems Engineering. Available at http://www-142.ibm.com/software/products/it/it/ratirhapdesiforsystengi/.
  13. Accellera Systems Initiative: Accelera Systems Initiative. Available at http://www.accellera.org/.
  14. INRIA: INRIA website. Available at http://www.inria.fr/.
  15. INRIA (2012): Plasma-Lab: a Statistical Model Checker. Available at http://project.inria.fr/plasma-lab/.
  16. IP-XACT: IP-XACT Technical Committee. Available at http://www.accellera.org/activities/committees/ip-xact/.
  17. ITEA2: ITEA2 – Information Technology for European Advancement. Available at http://www.itea2.org/.
  18. ITEA2: Modelisar. Available at http://www.itea2.org/project/index/view/?project=217.
  19. Axel Legay & Benoît Delahaye (2010): Statistical Model Checking : An Overview. CoRR abs/1005.1327. Available at http://arxiv.org/abs/1005.1327.
  20. Mark W. Maier (1998): Architecting principles for systems-of-systems. Systems Engineering 1(4), pp. 267–284, doi:10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D.
  21. Mathworks: The Mathworks. Available at http://www.mathworks.it/.
  22. MBAT: MBAT – combined Model-Based Analysis and Testing of embedded systems. Available at https://www.mbat-artemis.eu/.
  23. OMG (2010): OCL v2.2 - Object Constraint Language. Available at http://www.omg.org/spec/OCL/2.2/.
  24. OMG (2012): UPDM – Unified Profile for DoDAF and MODAF. Available at http://www.omg.org/spec/UPDM/.
  25. Kwiatkowska M. Parker D., Norman G. (2012): The probabilistic model checker PRISM. Available at http://www.prismmodelchecker.org.
  26. Modelica Association Project (2012): FMI v2.0 beta 4. Available at https://www.fmi-standard.org/.
  27. SysML Open Source Specification Project: SysML v. 1.3 Specification. Available at http://www.sysml.org.
  28. SPEEDS (2010): SPEculative and Exploratory Design in Systems Engineering. Available at http://www.speeds.eu.com/.
  29. SPRINT: SPRINT – Software PlatfoRm for Integration of eNgineering and Things. Available at http://www.sprint-iot.eu/.
  30. S Xiaoxia & Z Qiuhai (2003): MPII-18-3 The Introduction on High Level Architecture (HLA) and Run-Time Infrastructure (RTI). In: SICE-ANNUAL CONFERENCE- 1. SICE; 1999, pp. 1136–1139.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org