English
Related papers

Related papers: INSiDER: Incorporation of system and safety analys…

200 papers

Digital engineering practices offer significant yet underutilized potential for improving information assurance and system lifecycle management. This paper examines how capabilities like model-based engineering, digital threads, and…

Cryptography and Security · Computer Science 2024-12-17 John Bonar , John Hastings

In this paper, we propose a method for aligning models with their realization through the application of model-based systems engineering. Our approach is divided into three steps. (1) Firstly, we leverage domain expertise and the Unified…

Systems and Control · Electrical Eng. & Systems 2024-07-16 Lovis Justin Immanuel Zenz , Erik Heiland , Peter Hillmann , Andreas Karcher

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees,…

Software Engineering · Computer Science 2020-04-29 Simon József Nagy , Bence Graics , Kristóf Marussy , András Vörös

This paper presents a systematic mapping study on the model-driven engineering of safety and security concerns in systems. Integrated modeling and development of both safety and security concerns is an emerging field of research. Our…

Software Engineering · Computer Science 2020-04-21 Atif Mashkoor , Alexander Egyed , Robert Wille

Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper sketches an ideal model-based safety case with defect…

Software Engineering · Computer Science 2018-06-14 Peter Braun , Jan Philipps , Bernhard Schätz , Stefan Wagner

Model-based engineering promises to boost productivity and quality of complex systems development. In the context of safety-critical systems, a traditionally highly regulated and conservative domain, the use of models gained importance in…

Software Engineering · Computer Science 2021-06-07 Marc Zeller , Daniel Ratiu , Kai Hoefig

This paper presents the application of a meta model and single underlying model on an applied avionics system design use case. System models, safety assurance cases and safety requirements are maintained in a central repository. This…

Software Engineering · Computer Science 2021-06-03 Jef Stegen , Stefan Dutre , Joe Zhensheng Guo , Marc Zeller , Stefan Rothbauer

Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created documents, which are evaluated by system stakeholders through…

Software Engineering · Computer Science 2024-06-11 Ran Wei , Simon Foster , Haitao Mei , Fang Yan , Ruizhe Yang , Ibrahim Habli , Colin O'Halloran , Nick Tudor , Tim Kelly , Yakoub Nemouchi

Hazard and impact analysis is an indispensable task during the specification and development of safety-critical technical systems, and particularly of their software-intensive control parts. There is a lack of methods supporting an…

Software Engineering · Computer Science 2015-12-10 Sonila Dobi , Mario Gleirscher , Maria Spichkova , Peter Struss

Typical design flows are hierarchical and rely on assembling many individual technology elements from standard cells to complete boards. Providers use compact models to provide simplified views of their products to their users. Designers…

Hardware Architecture · Computer Science 2021-04-23 Dan Alexandrescu , Aneesh Balakrishnan , Thomas Lange , Maximilien Glorieux

Reference models in form of best practices are an essential element to ensured knowledge as design for reuse. Popular modeling approaches do not offer mechanisms to embed reference models in a supporting way, let alone a repository of it.…

Databases · Computer Science 2024-07-02 Erik Heiland , Peter Hillmann , Andreas Karcher

Security risk assessment is essential in establishing the trustworthiness and reliability of modern systems. While various security risk assessment approaches exist, prevalent applications are "pen and paper" implementations that -- even if…

Cryptography and Security · Computer Science 2025-09-23 Avi Shaked

A subjective expected utility policy making centre, managing complex, dynamic systems, needs to draw on the expertise of a variety of disparate panels of experts and integrate this information coherently. To achieve this, diverse supporting…

Methodology · Statistics 2015-12-21 Jim Q. Smith , Martine J. Barons , Manuele Leonelli

Models in face of increasing complexity support development of new systems and enterprises. For an efficient procedure, reference models are adapted in order to reach a solution with les overhead which covers all necessary aspects. Here, a…

Software Engineering · Computer Science 2022-11-22 Dominik Ascher , Erik Heiland , Diana Schnell , Peter Hillmann , Andreas Karcher

Effective Requirements Engineering is a crucial activity in softwareintensive development projects. The human-centric working mode of Design Thinking is considered a powerful way to complement such activities when designing innovative…

Software Engineering · Computer Science 2021-12-13 Jennifer Hehn , Daniel Mendez

The knowledge of the world is passed on through libraries. Accordingly, domain expertise and experiences should also be transferred within an enterprise by a knowledge base. Therefore, models are an established medium to describe good…

Software Engineering · Computer Science 2022-11-22 Peter Hillmann , Diana Schnell , Harald Hagel , Andreas Karcher

The aim of this paper is to propose a rigorous and complete design framework for complex system based on system engineering (SE) principles. The SE standard EIA-632 is used to guide the approach. Within this framework, two aspects are…

Software Engineering · Computer Science 2012-12-19 Romaric Guillerm , Hamid Demmou , Nabil Sadou

Many complex engineering systems consist of multiple subsystems that are developed by different teams of engineers. To analyse, simulate and control such complex systems, accurate yet computationally efficient models are required. Modular…

Systems and Control · Electrical Eng. & Systems 2023-01-02 Lars A. L. Janssen , Bart Besselink , Rob H. B. Fey , Nathan van de Wouw

By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid hazards, safety and security need to be integrated,…

Logic in Computer Science · Computer Science 2019-01-03 Vivek Nigam , Alexander Pretschner , Harald Ruess

The nature of information security has been, and probably will continue to be, marked by the asymmetric competition of attackers and defenders over the control of an uncertain environment. The reduction of this degree of uncertainty via an…

Software Engineering · Computer Science 2024-07-11 Marius-Constantin Ilau , Tristan Caulfield , David Pym
‹ Prev 1 2 3 10 Next ›