, 188 2.4.2.2 Need Analysis and Stakeholders Requirements Denition 189 2.4.2.3 System Level Requirements Denition, 186 2.4.2.1 Understanding Design Process Functional and Physical Architecture Denition . . . . 194 2.4.2.5 Conclusion
, 207 3.2.2.1 Towards an Electric Vehicle, Regenerative Combi-Brake, vol.208
, 227 3.3.3.1 Preliminary Hazard Analysis
, Model-Based Methodology for Requirements Traceability in Embedded Systems, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00413488
, MDA Explained: The Model Driven Architectur: Practice and Promise, 2003.
, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, p.1133, 2004.
DOI : 10.1109/TDSC.2004.2
, Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web, Scientic American, vol.284, issue.5, p.3443, 2001.
, Mechatronic Systems, Sensors, and Actuators: Fundamentals and Modeling. The Electrical Engineering Handbook Series, The Mechatronics Handbook, 2008.
, The Unied Modeling Language User Guide, 2005.
, Process Improvement in Requirements Management: A Method Engineering Approach, Requirements Engineering: Foundation for Software Quality, p.622, 2008.
, Semantic Issues of OCL: Past, Present and Future, p.11, 2006.
, CAx/engineering data management integration: Enabler for methodical benefits in the design process, Journal of Engineering Design, vol.16, issue.4, p.385398, 2005.
DOI : 10.1080/09544820310001606876
, A Process and Data Model for Automotive Safety-Critical Systems Design, 20 th International Symposium of the INCOSE, 2010.
, Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems, 21 st International Symposium of the INCOSE, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01126045
, Conception de Systèmes Critiques Automobiles -Étude de Mise en Oeuvre de la Norme ISO26262, Proceedings of 5ème Conférence Annuelle AFIS, 2009.
, An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration, International Journal of Interoperability in Business Information Systems, vol.2, issue.2, p.3964, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01175910
, The UML as a Formal Modeling Notation, Computer Standards & Interfaces, p.336348, 1998.
DOI : 10.1007/978-3-540-48480-6_26
, A practical guide to SysML: Systems Model Language, 2008.
, Modeling and Simulation of Electric and Hybrid Vehicles, IEEE Proceedings of the IEEE, p.729745, 2007.
DOI : 10.1109/JPROC.2006.890127
, Dragan Gasevic, Dragan Djuric, and Vladan Devedzic. Model Driven Engineering and Ontology Development, 2009.
, Automotive Industry Trends in Electronics: Year 2000 Survey of Senior Executives, 2001.
, A Translation Approach to Portable Ontology Specications, Knowledge Acquisition, vol.5, issue.2, p.199220, 1993.
, Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors, ISO) / International Electrotechnical Commission (IEC), 1999.
, Logic in Computer Science: Modelling and Reasoning About Systems, 2004.
DOI : 10.1017/CBO9780511810275
, Construction et enrichissement automatique d'ontologie à partir de ressources externes, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00451980
, Model Reuse with Metamodel-Based Transformations, Lecture Notes In Computer Science, vol.2319, p.166178, 2002.
DOI : 10.1007/3-540-46020-9_12
, Safeware -System Safety and Computers, 1995.
, Adapting UML for an Object Oriented Systems Engineering Method (OOSEM), International Council on Systems Engineering 10 th Annual Symposium, 2000.
, Inventing Requirements: Experiences with an Airport Operations System, Cornelius Ncube, and James Lockerbie Requirements Engineering: Foundation for Software Quality, p.5872, 2008.
DOI : 10.1007/978-3-540-69062-7_6
, Software Safety: Where's the Evidence ? In Proceedings of the Sixth Australian workshop on Safety critical systems and software (SCS'01, BIBLIOGRAPHY, p.16, 2001.
, OWL 2 Web Ontology Language: Structural Specication and Functional-Style Syntax, W3C Recommendation, 2009.
, SQWRL: a Query Language for OWL, OWL: Experiences and Directions (OWLED), 6 th International Workshop, 2009.
, Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure, Reliability Engineering & System Safety, vol.71, issue.3, p.71229247, 2001.
DOI : 10.1016/S0951-8320(00)00076-4
, Ontology-Based Model Transformation. MoD- ELS, p.355356, 2005.
, Eva Söderström, Birger Andersson, Paul Johannesson, Erik Perjons, and Benkt Wangler. Towards a framework for comparing process modelling languages, 2001.
, A Generic Ontology For Collaborative Ontology-Development Workows, 16th International Con- BIBLIOGRAPHY ference on Knowledge Engineering and Knowledge Management, 2008.
, Methodology for development and employment of ontology based knowledge management applications, ACM SIGMOD Record, vol.31, issue.4, p.1823, 2002.
DOI : 10.1145/637411.637414
, OWL-Based Approach for Semantic Interoperability, 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers), p.145150, 2005.
DOI : 10.1109/AINA.2005.271
, Connecting Feature Models and AUTOSAR: An Approach Supporting Requirements Engineering in Automotive Industries, Requirements Engineering: Foundation for Software Quality, p.95108, 2008.
DOI : 10.1007/978-3-540-69062-7_9
, Requirements Engineering: Problem Analysis and Solution Specication (Extended Abstract) In Web Engineering, Lecture Notes in Computer Science, vol.3140, 2004.
, hasRelation(cls, rel) ? inherits(cls, rel)) ? isSubclassOf (subcls, cls) ? minCardinality(cls, rel, card) ? minCardinality(subcls, rel
, hasRelation(cls, rel) ? inherits(cls, rel)) ? isSubclassOf (subcls, cls) ? maxCardinality(cls, rel, card) ? maxCardinality(subcls, rel