Sökning: "Safety-critical System Development"

Visar resultat 1 - 5 av 57 avhandlingar innehållade orden Safety-critical System Development.

1. 1. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

   Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

   Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER

3. 2. An Ontological Approach to Safety Analysis of Safety-Critical Systems

   Författare :Jiale Zhou; Kristina Lundqvist; Ibrahim Habli; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; hazard analysis; ontologies; safety-critical systems; safety requirements elicitation; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical systems (SCSs) have become an intrinsic part of human dailylife in multiple domains, such as automotive, avionics, and rail industries. Such systems are not only required to implement the functionality they should provide, but also have to satisfy a set of safety requirements in order to ensure the mitigation of hazardous consequences. LÄS MER

4. 3. Risks Related to the Use of Software Tools when Developing Cyber-Physical Systems : A Critical Perspective on the Future of Developing Complex, Safety-Critical Systems

   Författare :Fredrik Asplund; Martin Törngren; Jad El-Khoury; John McDermid; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automation; Certification; Process Risks; Safety; Safety-Critical; Standards; Support Environments; Tool Integration; Machine Design; Maskinkonstruktion;

   Sammanfattning : The increasing complexity and size of modern Cyber-Physical Systems (CPS) has led to a sharp decline in productivity among CPS designers. Requirements on safety aggravate this problem further, both by being difficult to ensure and due to their high importance to the public. LÄS MER

5. 4. Assurance Aware Contract-based Design for Safety-critical Systems

   Författare :Irfan Sljivo; Hans Hansson; Barbara Gallina; Jan Carlson; Mario Trapp; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical systems are those systems whose malfunctioning can result in harm or loss of human life, or damage to property or the environment. Such systems usually need to comply with a domain-specific safety standard, which often require a safety case in form of an explained argument supported by evidence to show that the system is acceptably safe to operate in a given context. LÄS MER

7. 5. Requirements Engineering Challenges of Supporting Agile Teams in System Development

   Författare :RASHIDA KASAULI; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Safety-critical System Development; Requirements Engineering; Scaled-Agile System Development; User Value;

   Sammanfattning : Context: Agile methods have attracted many companies due to their reported benefits of short time-to-market and improved quality outputs. In the systems development context, additional constraints apply e.g. as a result of scale or parallel development of hardware and software. LÄS MER