Model-based methodology for requirements traceability in embedded systems ,
URL : https://hal.archives-ouvertes.fr/inria-00413488
, ATESST project -The Modelling Approach in ATESST -Overview. Overview of the EAST-ADL2
,
Developing Automotive Products Using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language. 4 th European Congress ERTS Embedded Real Time Software, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-02269756
,
Managing Complexity of Automotive Electronics Using the EAST-ADL, Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007, 2007. ,
EAST-ADL an Architecture Description Language, Validation and Verification Aspects, IPIP World Computer Congress -Workshop on Architecture Description Language, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00100019
, Government Electronics & Information Technology Association EIA norm for Processes for Engineering a system, EIA Standard, vol.632, 1998.
, IEEE Guide for Developing System Requirements Specifications (including IEEE 1233a, IEEE Standard 1233, 1998.
, MeMVaTEx glossary, 2007.
, MeMVaTEx State of the Art, 2007.
MBSE: What is it really?, SAE Engineering Propulsion Controls Symposium ,
OMG System Modeling Language (OMG SySML TM ) Specification. Final Adopted Specification ptc/06-05-04, 2006. ,
A UML Profile for MARTE, Beta 1. OMG Adopted specification ptc/07-08-04, 2007. ,
UML Testing Profile v1.0. Final Adopted Specification, 2005. ,
XMI MOF 2.0 / XMI Mapping Specification, v2.1.1, 2007. ,
, HIS Working Group, results, Simulation and Tools Information on RIF, 2004.
, XRI from XERIF project