A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study
2020
Journal of Automotive Software Engineering
Preserved Fulltext
approach and show how queries can help achieve compliance with the ISO 26262 standard. ...
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
11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems
2011
INCOSE International Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents an overview of current initiatives at Renault dealing with the improvement of development processes for mechatronic systems to comply with ISO 26262. ...
The ontology is at the heart of our improvement initiatives since it allows establishing logical consistency of the whole design process. ...
As presented in (Chalé Góngora et al 2010) the ontology serves as a data model for the systems covered by the ISO 26262 standard. ...
doi:10.1002/j.2334-5837.2011.tb01287.x
fatcat:kevlndubhzaz3o4uicikyyrna4
Managing Assurance Cases in Model Based Software Systems
2017
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Although the main contributions of this thesis are not domain specific, for validation, we ground our approaches in the automotive domain and the ISO 26262 standard for functional safety of road vehicles ...
For companies, compliance is a complex and costly goal to achieve and is often accomplished by producing socalled assurance cases, which demonstrate that the system indeed satisfies the property imposed ...
In [Conrad et al.(2012) ], an artifact-centric compliance approach for ISO 26262 projects using model-based design is proposed. ...
doi:10.1109/icse-c.2017.44
dblp:conf/icse/Kokaly17
fatcat:bwtpzkmqrzhzpc4jm3lupevgmq
Continuous assessment of software traceability
2016
Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
[ ISO 26262-6:2011] . ...
Relevant guidelines: ECSS-E-40, ISO 26262, DO-178B; Artifacts: 58 requirements, 9 designs, 6 test cases, 6 test results, 638 classes; Relevant trace links: 56. ...
We ask for Your Opinion on our traceability compliance assessment technique based on your practical experience. ...
doi:10.1145/2889160.2892657
dblp:conf/icse/RempelM16
fatcat:d5nargsy5ffghixnfctt3uv52y
Grand Challenges of Traceability: The Next Ten Years
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Members of the research community are engaged in many active, ongoing, and impactful research projects. ...
to be always present, built into the engineering process, and for it to have "effectively disappeared without a trace". ...
Acknowledgements This work was carried out within the SMILE project financed by Vinnova, FFI, Fordonsstrategisk forskning och innovation under the grant number: 2016-04255. ...
arXiv:1710.03129v1
fatcat:ch275tcxtjcshesoq2ubbyyomy
Security Assurance Cases – State of the Art of an Emerging Approach
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Security Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. ...
After the successful adoption of assurance cases for safety, SACs are getting significant traction in recent years, especially in safety-critical industries (e.g., automotive), where there is an increasing ...
Creators Academic authors Industrial authors 3rd party experts
Validators Academic authors Industrial authors 3rd party experts Acknowledgements This work is partially supported by the CASUS research project ...
arXiv:2003.14151v1
fatcat:czh7tt6ufncw7dxice2p5mvgby
Evolving Critical Systems
2010
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments Tom Mens is supported by ARC project AUWB-08/12-UMH19, "Model-Driven Software Evolution," funded by the Ministère de la Communauté française-Direction genérale de l'Enseignement non obligatoire ...
We thank Schloss Dagstuhl for hosting the perspectives workshop, and all the workshop participants whose discussions led to this special issue. ...
If designs are represented as models in, for instance, UML, then transformation-based approaches could be useful. 1 Model-based, generative approaches offer an opportunity to facilitate evolution because ...
doi:10.1109/ecbs.2010.62
dblp:conf/ecbs/HincheyC10
fatcat:66zficpxqrbgldqt2igog67ade
Systems Challenges for Trustworthy Embodied Systems
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2022 pre-print arXiv:2201.03413v1 fatcat:wykeewanave3jmpnrsclkyzzhq
We are therefore identifying a number of urgent systems challenges for trustworthy embodied systems, including robust and human-centric AI, cognitive architectures, uncertainty quantification, trustworthy ...
context we face various engineering challenges, as it is crucial to coordinate the behavior of embodied systems in a beneficial manner, ensure their compatibility with our human-centered social values, and design ...
Vazdanan et al., Responsibility Research for Trustworthy Autonomous Systems, 2021.27 For instance, industrial safety engineering standards such as DO 178C in aerospace and ISO 26262 in the automotive industry ...
arXiv:2201.03413v2
fatcat:hwprg3zjhvfuro3etecx2t4qua
Security assurance cases—state of the art of an emerging approach
2021
Empirical Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
AbstractSecurity Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. ...
After the successful adoption of assurance cases for safety, SAC are getting significant traction in recent years, especially in safety-critical industries (e.g., automotive), where there is an increasing ...
Acknowledgements This work is partially supported by the CASUS research project funded by VINNOVA, a Swedish funding agency. ...
doi:10.1007/s10664-021-09971-7
fatcat:sxa6pbmpbjdrhbqmiyl25okkzq
Model-driven methods for developing ISO-certified safety-critical systems
2020
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
This includes the development of a SysML profile, a use case, and a descriptive evaluation based on the requirements specified in the ISO 26262 series of standards. ...
Different model-based methods are applied depending on their safety-critical domains and specific safety standards such as the ISO 26262 for functional safety of road vehicles rather than applying a set ...
to demonstrate compliance of design model artifacts with software requirements. ...
doi:10.34726/hss.2020.71545
fatcat:x65pkpo3qjhwtoj6bb66jgvppe
Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile
2017
Journal of Software: Evolution and Process
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
for SoS rapid modeling, validation, code-generation, and simulation. ...
We show how to use the profile in a model-driven engineering process to support different types of analyses, and we discuss how to integrate the profile in a user-friendly model-driven engineering tool ...
(see, for example, the IEC 61508, DO-178B, DO-254 and ISO 26262 standards)." ...
doi:10.1002/smr.1878
fatcat:mx4kxcdsxfdr7lkocsqcc72gie
Safe AI – How is this Possible?
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We outline some of underlying challenges of safe AI and suggest a rigorous engineering framework for minimizing uncertainty, thereby increasing confidence, up to tolerable levels, in the safe behavior ...
These examples demonstrate that uncertainty is not only a design but also an essential runtime artifact for the situational generation of safe control behavior. ...
Safe AI Seite 12 von 44 For all these reasons, well-established and successful safety standards for software-intensive systems, including DO 178C in aerospace and ISO 26262 in the automotive industry, ...
arXiv:2201.10436v2
fatcat:lu5ibn3qc5hormd4w6zjmszplq
Mils: Business, Legal And Social Acceptance
2015
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
For that matter, we interviewed face to face the business partners of the project. ...
During the project, we have performed the following tasks: We started the analysing by studying the business requirements and values for multiple independent levels of security in the core markets, defence ...
ISO 26262 defines state-of the-art design processes for software development comparable to DO-178B in the avionics. ...
doi:10.5281/zenodo.47301
fatcat:2njeypzu4jfgjaygciloaj4zae
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS). ...
The seminar was concerned with the challenge that for future Cyber-Physical Systems (CPS), it will become increasingly relevant to explain their behavior (past, current, and future behavior, why a certain ...
Acknowledgments We would like to thank the Gesellschaft for Informatik e.V. (GI, German Society for Informatics) and Schloss Dagstuhl for partially funding this seminar. ...
arXiv:1904.11851v1
fatcat:r2r5ac6hmnel3f6weiynjwunni
An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Apart from interviews, data from relevant artifacts in databases and archived documents has been used to achieve data triangulation. ...
Based on the research objectives, an interview questionnaire with open-ended and close-ended questions has been used. ...
Added to this is the new dimension of challenges and complexity introduced by the need for compliance to the ISO 26262 safety standard in the near future [11] . ...
doi:10.1007/978-3-319-49094-6_15
fatcat:euacc4ynrbb4bi2ywuy62nydaa
« Previous
Showing results 1 — 15 out of 33 results