Sökning: "Jiale Zhou"

Hittade 2 avhandlingar innehållade orden Jiale Zhou.

  1. 1. An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems

    Författare :Jiale Zhou; Kristina Lundqvist; Kristian Sandahl; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : With the growing complexity of embedded real-time systems, requirements validation becomes an ever-more critical activity for developing such systems. Studies have revealed that most of the anomalies, discovered in the development of complex systems, belong to requirement and specification phases. 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