Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Torin Viger"'
Publikováno v:
Software and Systems Modeling.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d71215e494f8bf8f410c72d1d0d8eb01
https://doi.org/10.1007/s10270-022-01063-4
https://doi.org/10.1007/s10270-022-01063-4
Publikováno v:
MODELS
In recent decades, cyber-physical systems developed using Model-Driven Engineering (MDE) techniques have become ubiquitous in safety-critical domains. Safety assurance cases (ACs) are structured arguments designed to comprehensively show that such sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d25387e8c94e8196591b8d461da5dee
https://doi.org/10.1109/models50736.2021.00028
https://doi.org/10.1109/models50736.2021.00028
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783030921231
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::38aae72c23508890de1326439684b4b1
https://doi.org/10.1007/978-3-030-92124-8_2
https://doi.org/10.1007/978-3-030-92124-8_2
Publikováno v:
MODELS Companion
In recent years, the complexity of safety-critical systems such as automotive systems has been rapidly increasing. The need to address safety concerns in such systems led to the development of industry-specific safety standards. The standards mandate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c86015917a8910964dbebfd22368f82d
https://doi.org/10.1145/3417990.3422012
https://doi.org/10.1145/3417990.3422012
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030545482
SAFECOMP
SAFECOMP
Safety assurance cases (ACs) are structured arguments that assert the safety of cyber-physical systems. ACs use reasoning steps, or strategies, to show how a safety claim is decomposed into subclaims which are then supported by evidence. In practice,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd849ee6a308cd9d909ee5ebc7d3491a
https://doi.org/10.1007/978-3-030-54549-9_3
https://doi.org/10.1007/978-3-030-54549-9_3
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030415990
VSTTE
VSTTE
Uncertainty occurs naturally in software systems, including those that are model-based. When such systems are safety-critical, they need to be assured, e.g., by arguing that the system satisfies its safety goals. But how can we rigorously reason abou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5171e98a886e061d02cb5392414ba645
https://doi.org/10.1007/978-3-030-41600-3_2
https://doi.org/10.1007/978-3-030-41600-3_2
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030167219
FASE
FASE
From financial services platforms to social networks to vehicle control, software has come to mediate many activities of daily life. Governing bodies and standards organizations have responded to this trend by creating regulations and standards to ad
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1300939f5fe928c2c79829d1651c2552
https://doi.org/10.1007/978-3-030-16722-6_1
https://doi.org/10.1007/978-3-030-16722-6_1