1,282 Hits in 8.9 sec

Challenges of Scaled Agile for Safety-Critical Systems [chapter]

Jan-Philipp Steghöfer, Eric Knauss, Jennifer Horkoff, Rebekka Wohlrab
2019 Lecture Notes in Computer Science  
However, for large-scale environments, existing frameworks like SAFe or LeSS do not support the development of safety-critical systems out of the box.  ...  We found challenges in the areas of living traceability, continuous compliance, and organisational flexibility.  ...  We thank all participants in our focus group for their insights and their engagement. This work was supported by Software Center (  ... 
doi:10.1007/978-3-030-35333-9_26 fatcat:jcto2i7edjgkxhptiforekgovu

A System's Perspective Towards an Architecture Framework for Safe Automated Vehicles [article]

Gerrit Bagschik, Marcus Nolte, Susanne Ernst, Markus Maurer
2018 arXiv   pre-print
Today, the most abstract view found in architecture frameworks is a logical description of system functions which structures the system in terms of information flow and functional components.  ...  This states the need to get several viewpoints on a system and describe correspondences between these views in order to enable traceability of emergent system properties.  ...  ACKNOWLEDGMENT This work was partially funded by the DFG under funding number FOR 1800 Conrolling Concurrent Change and the project aFAS funded by the German Federal Ministry of Economics and Technology  ... 
arXiv:1804.07020v3 fatcat:5ngun53hkzbidaqwwanlcysema

Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study

Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
2020 Journal of Automotive Software Engineering  
Automotive models are often heterogeneous, large and interconnected through traceability links.  ...  In this paper, we define generic requirements for querying megamodels and demonstrate how to run queries in our Model Management INTeractive (MMINT) framework using the Viatra query engine.  ...  We would like to thank Gehan Selim and our collaborators at the McMaster Center for Software Certification for useful discussions.  ... 
doi:10.2991/jase.d.200912.001 fatcat:vs5ktnkwprgcra2jdzlcjvfbka

Exploring the Assessment List for Trustworthy AI in the Context of Advanced Driver-Assistance Systems [article]

Markus Borg, Joshua Bronson, Linus Christensson, Fredrik Olsson, Olof Lennartsson, Elias Sonnsjö, Hamid Ebabi, Martin Karsberg
2021 arXiv   pre-print
Artificial Intelligence (AI) is increasingly used in critical applications. Thus, the need for dependable AI systems is rapidly growing.  ...  Finally, we provide three recommendations for the next revision of ALTAI, i.e., life-cycle variants, domain-specific adaptations, and removed redundancy.  ...  Furthermore, the project received financial support from the SMILE III project financed by Vinnova, FFI, Fordonsstrategisk forskning och innovation under the grant number: 2019-05871 and the EC-SEL Joint  ... 
arXiv:2103.09051v1 fatcat:vgeey7c5b5bkdinhqwxqwxefgi

Knowledge and skills requirements for the software design and testing of automotive applications [article]

Jernej Zabavnik, Andreas Riel, M. Marguč, Miran Rodič
2019 arXiv   pre-print
The process follows the Automotive SPICE and focuses on the tip of the V-model.  ...  The required knowledge and skills that should be provided to the novice developer, designing and testing the safety critical device in automotive industry using Hardware-in-the-Loop (HiL), are presented  ...  DESIGN PROCESSES IN AUTOMOTIVE INDUSTRY Automotive SPICE and the IEC/ISO 26262 provide the frameworks for development processes of embedded automotive systems.  ... 
arXiv:1910.13128v1 fatcat:pey5x2vpjrcudnrpqh5dbdhwdu

First International Workshop on Requirements Engineering and Law (RELAW)

Annie I. Antón, Travis D. Breaux, Dimitris Karagiannis, John Mylopoulos
2008 2008 Requirements Engineering and Law  
Engineers and regulators need methods and tools to focus the discussion of legal compliance in terms of observable criteria to ensure that systems comply with relevant laws.  ...  Requirements engineering is the practice of identifying and specifying system requirements to achieve a specific purpose.  ...  In the automotive domain, however, engineers have specialized knowledge and incentive to develop safe, verifiably correct components.  ... 
doi:10.1109/relaw.2008.4 fatcat:usxhwcvjtfbqfcnagw2ctyuqwu

How automotive engineering is taking product line engineering to the extreme

Len Wozniak, Paul Clements
2015 Proceedings of the 19th International Conference on Software Product Line - SPLC '15  
Automotive manufacturing ranks among the most extreme instances of systems and software product line engineering (PLE).  ...  We focus on one example in depth: The management and automated generation of the many thousands of calibration parameters that determine vehiclespecific software behavior.  ...  A large automotive company will have made tooling choices for each of these artifacts. In GM's case, requirements are stored in IBM Rational's DOORS tool, design models in Rhapsody, and so forth.  ... 
doi:10.1145/2791060.2791071 dblp:conf/splc/WozniakC15 fatcat:7y44a5yfhbaqta3q2ru7eq6x2m

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

John Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
2015 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering  
exploration, and supporting traceability and provenance in the CPS design set.  ...  We discuss the role of formal methods in addressing three key aspects of this goal: providing reasoning support for semantically heterogeneous models, managing the complexity and scale of design space  ...  Canedo [25] has developed a multi-disciplinary, integrated, design automation tool for automotive CPS that evaluates system-level impact of domain-specific design decisions using simulation. B.  ... 
doi:10.1109/formalise.2015.14 dblp:conf/icse/FitzgeraldGLPW15 fatcat:226sm43ndjd45l333azrrn73va

The impact of requirements on systems development speed: a multiple-case study in automotive

S. Magnus Ågren, Eric Knauss, Rogardt Heldal, Patrizio Pelliccione, Gösta Malmqvist, Jonas Bodén
2019 Requirements Engineering  
We offer an empirical account of expectations and needs for new requirements engineering approaches in the automotive domain, necessary to coordinate hundreds of collaborating organizations developing  ...  In addition to validating our qualitative model, the second step of interviews broadens our perspective with technical experts and change managers.  ...  We thank all respondents in the study for their valuable input during both rounds of interviews, and for clarifications where needed.  ... 
doi:10.1007/s00766-019-00319-8 fatcat:6cxdb5fiord6ph2rjs2t3ofoaq

Architecting Safe Automated Driving with Legacy Platforms [article]

Naveen Mohan
2019 arXiv   pre-print
In one fell swoop, not only does required functionality for automated driving drastically increase the system complexity, it also removes the fall-back of the human driver who is usually relied upon to  ...  Part A contributes, (i) an analysis of the challenges of architecting automated driving, and serves as a motivation for the approach taken in the rest of this thesis, i.e.  ...  How can the decision making of architects under uncertain information be managed to achieve the traceability needed for design of safety critical systems?  ... 
arXiv:2001.02496v1 fatcat:rzcvw5inm5cujbuf7pbvtuf7di

Graphical Approach for Modeling of Safety and Variability in Product Lines

Aleksandra Salikiryaki, Iliana Petrova, Stephan Baumgart
2015 2015 41st Euromicro Conference on Software Engineering and Advanced Applications  
Reuse of already developed parts and concepts is a common approach in industry to reduce the time to market and reduce the development efforts.  ...  The lack of a structured product line approach taking the functional safety dimension into consideration makes it challenging for practitioners to provide the required evidence.  ...  ACKNOWLEDGMENT The research leading to these results has received funding from the ARTEMIS Joint Undertaking under grant agreement no 295373, Vinnova and the KKS-funded ITS-EASY Post Graduate School for  ... 
doi:10.1109/seaa.2015.74 dblp:conf/euromicro/SalikiryakiPB15 fatcat:eeclhmfcxzg7heamlx72xideja

Project to Develop an Interoperable Seafood Traceability Technology Architecture: Issues Brief

Tejas Bhatt, Chris Cusack, Benjamin Dent, Martin Gooch, Dick Jones, Rosetta Newsome, Jennie Stitzinger, Gil Sylvia, Jianrong Zhang
2016 Comprehensive Reviews in Food Science and Food Safety  
The ability of business to utilize traceability for commercial gain is heavily influenced by the supply chain in which they operate.  ...  Establishing effective traceability systems relies on the development of a cohesive and consistent approach to the delivery of information technology capabilities and functions.  ...  Financial Supporters This work was carried out with the aid of a grant from the Gordon and Betty Moore Foundation.  ... 
doi:10.1111/1541-4337.12187 pmid:33371601 fatcat:ytkfjo7n7zefxkkgir22gxel7a

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

Morayo Adedjouma, Hubert Dubois, François Terrier
2013 Insight  
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. English. .  ...  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  ...  The research outcomes of this thesis were presented to, and reviewed by, various researchers in academia and by systems, quality and software engineers in industry.  ... 
doi:10.1002/inst.201316412 fatcat:znbv5tttxvhoda3qgq3qt7o5z4

Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements [chapter]

Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser
2014 Lecture Notes in Computer Science  
Through a hierarchical classification of safety mechanisms, a semi-formal specification language for requirements, a generation engine and a case study on a production-model automotive system, we demonstrate  ...  For the development of such functions, the ISO 26262 demands a number of additional steps to be performed compared to common software engineering activities.  ...  We express our gratitude to the anonymous reviewers for their constructive comments. We gratefully acknowledge the full support from Harald Heinecke, Michael Rudorfer,  ... 
doi:10.1007/978-3-319-10506-2_19 fatcat:yqc7ygpemjatxh34mz7zh7veka

An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study [chapter]

Annapurna Chunduri, Robert Feldt, Mikael Adenmark
2016 Lecture Notes in Computer Science  
A complex and common phenomenon in today's automotive vehicles is the distribution of such software functions across several Electronic Control Units (ECUs) and consequently across several ECU system software  ...  Firstly, to identify the current approach used to test the distributed automotive embedded software functions in literature and in a case company.  ...  traceability across multiple test levels of the automotive industry V-model.  ... 
doi:10.1007/978-3-319-49094-6_15 fatcat:euacc4ynrbb4bi2ywuy62nydaa
« Previous Showing results 1 — 15 out of 1,282 results