100,983 Hits in 7.9 sec

Requirements Engineering Process according to Automotive Standards in a Model-Driven Framework

Morayo Adedjouma, Hubert Dubois, François Terrier
2013 Insight  
To cite this version: Morayo Adedjouma. Processus d'ingénierie des exigences dans un environnmentà base de modèles selon les normes automobiles. Other [cs.OH]. Université Paris Sud -Paris XI, 2012.  ...  The tool proposes a validation functionality which allows the validity of the elements to be checked with respect to the UML2 metamodel.  ...  Tool support offered a means for checking the consistency and correct formulation of the profiles, metamodels and models defined in this thesis, in addition to demonstrating certain elements of usability  ... 
doi:10.1002/inst.201316412 fatcat:znbv5tttxvhoda3qgq3qt7o5z4

FTOS: Model-driven development of fault-tolerant automation systems

C Buckl, D Sojer, A Knoll
2010 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)  
Model-based design tools promise to reduce the complexity of the design process by raising the abstraction level. However, most of the existing tools focus only on functional aspects.  ...  To achieve fault-tolerance, systems have to use redundancy. This redundancy is usually achieved by replicating hardware units and executing the application within a distributed system.  ...  FTOS is used to model the system and to generate the code related to extra-functional aspects. The phases of a standard development process that are supported by FTOS are depicted in Figure 1 .  ... 
doi:10.1109/etfa.2010.5641211 dblp:conf/etfa/BucklSK10 fatcat:2ieoaluhkzhwrnel6vfoqp4ram

Model-driven safety assessment of robotic systems

N. Yakymets, S. Dhouib, H. Jaber, A. Lanusse
2013 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems  
The methodology relies upon model-driven engineering approach and describes a preliminary safety assessment of safety-critical RSs using fault tree (FT) analysis (FTA).  ...  The framework supports a domain specific language for RSs called RobotML and includes facilities (i) to automatically generate or manually construct FTs and perform both qualitative and quantitative FTA  ...  ACKNOWLEDGMENT The authors thank Hadi Jaber for his strong contribution to this work during his internship in CEA.  ... 
doi:10.1109/iros.2013.6696493 dblp:conf/iros/YakymetsDJL13 fatcat:afi7vhha3ngb7f7d6ide6yj7qe

Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors

Bassem Ouni, Christophe Aussagues, Saadia Dhouib, Chokri Mraidha
2021 Sensors  
In this work, we integrate the development process of I&C systems and the involvement of stakeholders within a model-driven methodology.  ...  In addition, we define a new I&C Modeling Language (ICML) and a set of methodological rules needed to build different architectural framework views.  ...  [24] presented a model-based engineering framework covering the I&C design process from the requirements to the design of I&C architectures.  ... 
doi:10.3390/s21155136 fatcat:xht2b6qsmfe3zpnwtbbzxr47vq

Model-Driven Software Development of Safety-Critical Avionics Systems: an Experience Report

Aram Hovsepyan, Dimitri Van Landuyt, Steven Op de beeck, Sam Michiels, Wouter Joosen, Gustavo Rangel, Javier Fernandez Briones, Jan Depauw
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
It seems unclear how to practically combine the various approaches into an integrated model-driven software development process.  ...  MDSD is said to be very promising in tackling the "wicked" problems of software engineering including development of safety-critical software.  ...  The research activities were conducted in the context of ITEA2-MERgE (Multi-Concerns Interactions System Engineering, ITEA2 11011), a European collaborative project with a focus on safety and security  ... 
dblp:conf/models/HovsepyanLbMJRBD14 fatcat:5rgaa4x7xrgitndw2hk5okrzpa

Software Product Lines in Automotive Systems Engineering

Steffen Thiel, Muhammad Ali Babar, Goetz Botterweck, Liam O'Brien
2008 SAE International Journal of Passenger Cars - Electronic and Electrical Systems  
This has resulted in a growing interest in SPL approaches both in the software engineering and the automotive systems domain.  ...  To accomplish this, we first provide an overview of the major challenges faced by Automotive Systems Engineering [5] .  ...  ACKNOWLEDGMENTS This work is partially supported by Science Foundation Ireland under grant no. 03/CE2/I303_1.  ... 
doi:10.4271/2008-01-1449 fatcat:kdpkh5phwbgmhc3mkinuryqkqm

Towards a Methodological Tool Support for Modeling Security-Oriented Processes [chapter]

Jacob Geisel, Brahim Hamid, David Gonzales, Jean-Michel Bruel
2016 Lecture Notes in Computer Science  
In our work, we propose a methodology to build domain specific process models with security concepts on the foundations of industry-relevant security approaches, backed by a security-oriented process model  ...  Unfortunately, these processes often offer only little or no support in order to meet security requirements.  ...  In this work, we propose a process modeling environment, which associates model-driven paradigms and established security engineering concepts, to support the design of repository-centric security-oriented  ... 
doi:10.1007/978-3-319-45547-1_3 fatcat:ezxqseu44fcb7kbs6jjkpjvlwq

Improving Requirements Specification in WebREd-Tool by Using a NFR's Classification [chapter]

José Alfonso Aguilar, Sanjay Misra, Anibal Zaldívar, Roberto Bernal
2013 Lecture Notes in Computer Science  
In this paper, we improve our Model-Driven tool, named WebREd-Tool, extending the requirements metamodel with a NFRs classification, the main idea is to help the Web application designer with the NFRs  ...  In Software Engineering (SE), a system has properties that emerge from the combination of its parts, these emergent properties will surely be a matter of system failure if the Non-Fuctional Requirements  ...  and PROFAPI2013 with the project: "Aplicación de la Ingeniería de Requisitos Orientada a Objetivos en la Ingeniería Web Dirigida por Modelos" from Universidad Autónoma de Sinaloa (México).  ... 
doi:10.1007/978-3-642-39646-5_5 fatcat:iut3uutisvdilhjnj4gfequgle

11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems

HugoG. Chalé, Ofaina Taofifenua, Thierry Gaudré, Alexandra Topa, Nicole Lévy, Jean-Louis Boulanger
2011 INCOSE International Symposium  
It focuses on introducing more formalization in the systems engineering design process via the definition of an ontology to formalize the concepts and knowledge of the systems engineering, functional safety  ...  The upcoming ISO26262 standard, which deals with the functional safety of road vehicles, will induce car manufacturers to adapt the way in which vehicle systems are usually developed.  ...  Model transformation Applying Model-Driven Architecture to System Engineering Processes.  ... 
doi:10.1002/j.2334-5837.2011.tb01287.x fatcat:kevlndubhzaz3o4uicikyyrna4

UCTM—An Ambidextrous Service Innovation Framework—A Bottom-Up Approach to Combine Human- and Technology-Centered Service Design

Wolfgang Vorraber, Dietmar Neubacher, Birgit Moesl, Julia Brugger, Sigmar Stadlmeier, Siegfried Voessner
2019 Systems  
While Business Model Innovation (BMI) literature mainly focuses on a strategic top-down process, we propose a bottom-up process-driven approach to complement business frameworks.  ...  In addition to a comprehensive theoretical overview of the proposed framework, we also provide practical results, since this framework was applied in the course of a service design and engineering research  ...  Acknowledgments: We would like to thank the anonymous reviewers for their highly valuable inputs. Open Access Funding by the Graz University of Technology.  ... 
doi:10.3390/systems7020023 fatcat:4i7mvrsh7zddtmibzlxmdud32i

Component-Based Design of Embedded Software: An Analysis of Design Issues [chapter]

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian
2005 Lecture Notes in Computer Science  
The analysis has been used to formulate the guidelines used to develop COMDES -a software framework for distributed embedded applications.  ...  The main problem that has to be addressed in this context is to systematically develop a software architecture (framework) for embedded applications, taking into account the true nature of embedded systems  ...  This framework is supported by an equally complex software engineering environment featuring a multi-stage program generation process.  ... 
doi:10.1007/978-3-540-31869-9_1 fatcat:zo3nz4u25fba7j7rj2bisrl37i

Model-driven development of ARINC 653 configuration tables

Akos Horvath, Daniel Varro
2010 29th Digital Avionics Systems Conference  
Model-driven development (MDD) has become a key technique in systems and software engineering, including the aeronautic domain.  ...  It facilitates on systematic use of models from a very early phase of the design process and through various model transformation steps (semi-)automatically generates source code and documentation.  ...  Acknowledgements We would like to thank to Klaas Wiegmink, from NLR, for his help with air conditioning case study and Olivier Charrier, from WindRiver for his support on VxWorks.  ... 
doi:10.1109/dasc.2010.5655322 fatcat:667hk3yxd5em5ibbjtu4i2b54u

The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization

Eduardo Quinones, Sara Royuela, Claudio Scordino, Paolo Gai, Luis Miguel Pinho, Luis Nogueira, Jan Rollo, Tommaso Cucinotta, Alessandro Biondi, Arne Hamann, Dirk Ziegenbein, Hadi Saoud (+5 others)
2020 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC)  
On one side, CPSs rely on model-driven engineering (MDE) to satisfy the non-functional constraints and to ensure a smooth and safe integration of new features.  ...  However, parallel programming models are not compatible with current MDE approaches, creating a gap between the MDE used to develop CPSs and the parallel programming models supported by novel and future  ...  CPSs Development: Model Driven Engineering (MDE) The development of CPSs poses two important challenges [6] : (1) to satisfy the non-functional constraints imposed due to the interaction between the  ... 
doi:10.1109/isorc49007.2020.00042 dblp:conf/isorc/QuinonesRSGPNRC20 fatcat:4dse2jqgmvcbjbch4pfomq4kyi

Automotive real-time operating systems

Georg Macher, Muesluem Atas, Eric Armengaud, Christian Kreiner
2015 ACM SIGBED Review  
The aim of this paper is to enhance a model-driven systemengineering framework with the capability of generating OS configurations from existing high level control system information.  ...  Furthermore, to enable the possibility to update stored information from OSEK Implementation Language (OIL) files and support round-trip engineering of real-time operating system (RTOS) configurations.  ...  Acknowledgments The authors would like to acknowledge the financial support of the "COMET K2 -Competence Centers for Excellent Technologies Programme" of the Austrian Federal Ministry for Transport, Innovation  ... 
doi:10.1145/2724942.2724953 fatcat:n36zmafjuva3dkeh7gjaes3kkm

Safety oriented software engineering process for autonomous robots

Vladislav Gribov, Holger Voos
2013 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)  
In this paper, a safety oriented model based software engineering process for autonomous robots is proposed.  ...  Combined with a safe multilayer robot software architecture it allows to trace the safety requirements and to model safety relevant properties on the early design stages in order to build a reliable chain  ...  and reuse of the safety case models and software components, the two-stage safety-oriented engineering process for the safe autonomous robots.  ... 
doi:10.1109/etfa.2013.6647969 dblp:conf/etfa/GribovV13 fatcat:kqlfczd3cffd3avquo7vqjowsa
« Previous Showing results 1 — 15 out of 100,983 results