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.
  4. Modelica Association: Modelica. Available at https://www.modelica.org/.
  5. Christel Baier & Joost-Pieter Katoen (2008): Principles of Model Checking (Representation and Mind Series). The MIT Press. Available at http://mitpress.mit.edu/books/principles-model-checking.
  6. 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), pp. 53–72, doi:10.1007/s10009-011-0201-2.
  7. 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.
  8. Cheng & all (2009): Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Software Engineering for Self-Adaptive Systems, LNCS 5525, doi:10.1007/978-3-642-02161-9.
  9. Edmund Clarke, Alexandre Donzé & Axel Legay (2010): On simulation-based probabilistic model checking of mixed-analog circuits. Form. Methods Syst. Des. 36(2), pp. 97–113, doi:10.1007/s10703-009-0076-y.
  10. 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. In: Monika Heiner & AdelindeM. Uhrmacher: Computational Methods in Systems Biology, Lecture Notes in Computer Science 5307. Springer Berlin Heidelberg, pp. 231–250, doi:10.1007/978-3-540-88562-7_18.
  11. Edmund M. Clarke, Jr., Orna Grumberg & Doron A. Peled (1999): Model checking. The MIT Press, Cambridge, MA, USA. Available at http://mitpress.mit.edu/books/model-checking.
  12. 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.
  13. Danse (2013): Designing for Adaptability and evolutioN in SoS Engineering. Available at https://www.danse-ip.eu/home/.
  14. DARPA: DARPA META Program. Available at http://cps-vo.org/group/avm/meta/.
  15. UK Ministry of Defence: MODAF Ministry of Defence Architecture Framework. Available at http://www.modaf.org.uk.
  16. USA Department of Defence: DoDAF Department of Defence Architecture Framework. Available at http://dodcio.defense.gov/dodaf20.aspx.
  17. 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.
  18. 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.
  19. Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh & Moshe Y. Vardi (2011): Dynamic Reactive Modules. In: CONCUR, LNCS 6901, doi:10.1007/978-3-642-23217-6_27.
  20. Carlo Ghezzi (2011): Engineering Evolving and Self-Adaptive Systems: An Overview. In: Broy, pp. 88–102, doi:10.3233/978-1-60750-711-6-88.
  21. IBM: IBM Rational Rhapsody Designer for Systems Engineering. Available at http://www-142.ibm.com/software/products/it/it/ratirhapdesiforsystengi/.
  22. Accellera Systems Initiative: Accelera Systems Initiative. Available at http://www.accellera.org/.
  23. INRIA: INRIA website. Available at http://www.inria.fr/.
  24. INRIA (2012): Plasma-Lab: a Statistical Model Checker. Available at http://project.inria.fr/plasma-lab/.
  25. IP-XACT: IP-XACT Technical Committee. Available at http://www.accellera.org/activities/committees/ip-xact/.
  26. ITEA2: ITEA2 Information Technology for European Advancement. Available at http://www.itea2.org/.
  27. ITEA2: Modelisar. Available at http://www.itea2.org/project/index/view/?project=217.
  28. Cyrille Jégourel, Axel Legay & Sean Sedwards (2012): A Platform for High Performance Statistical Model Checking - PLASMA. In: TACAS, pp. 498–503, doi:10.1007/978-3-642-28756-5_37.
  29. Sumit K. Jha, Edmund M. Clarke, Christopher J. Langmead, Axel Legay, André Platzer & Paolo Zuliani (2009): A Bayesian Approach to Model Checking Biological Systems. In: Proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB '09. Springer-Verlag, Berlin, Heidelberg, pp. 218–234, doi:10.1007/978-3-642-03845-7_15.
  30. Axel Legay & Benoît Delahaye (2010): Statistical Model Checking : An Overview. CoRR abs/1005.1327. Available at http://arxiv.org/abs/1005.1327.
  31. 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.
  32. Mathworks: The Mathworks. Available at http://www.mathworks.it/.
  33. MBAT: MBAT combined Model-Based Analysis and Testing of embedded systems. Available at https://www.mbat-artemis.eu/.
  34. OMG: Object Managment Group. Available at http://www.omg.org/.
  35. OMG (2010): OCL v2.2 - Object Constraint Language. Available at http://www.omg.org/spec/OCL/2.2/.
  36. OMG (2011): UML v2.1.2. Available at http://www.omg.org/spec/UML/2.1.2/.
  37. OMG (2012): UPDM Unified Profile for DoDAF and MODAF. Available at http://www.omg.org/spec/UPDM/.
  38. Atos Origin (2011): MDT OCL/Ocl Checker. Available at http://wiki.eclipse.org/MDT_OCL/Ocl_Checker.
  39. Kwiatkowska M. Parker D., Norman G. (2012): The probabilistic model checker PRISM. Available at http://www.prismmodelchecker.org.
  40. Modelica Association Project (2012): FMI v2.0 beta 4. Available at https://www.fmi-standard.org/.
  41. SysML Open Source Specification Project: SysML v. 1.3 Specification. Available at http://www.sysml.org.
  42. Koushik Sen, Mahesh Viswanathan & Gul Agha (2005): On Statistical Model Checking of Stochastic Systems. In: Kousha Etessami & Sriram K. Rajamani: CAV, pp. 266–280, doi:10.1007/11513988_26.
  43. SPEEDS (2008): D 2.5.4: Contract Specification Language. Available at http://speeds.eu.com/downloads/D_2_5_4_RE_Contract_Specification_Language.pdf.
  44. SPEEDS (2010): SPEculative and Exploratory Design in Systems Engineering. Available at http://www.speeds.eu.com/.
  45. SPRINT: SPRINT Software PlatfoRm for Integration of eNgineering and Things. Available at http://www.sprint-iot.eu/.
  46. 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.
  47. 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, doi:10.1.1.68.4454.
  48. Ji Zhang & Betty H. C. Cheng (2006): Model-based development of dynamically adaptive software. In: ICSE. ACM, doi:10.1145/1134285.1134337.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org