Sökning: "Jan Carlson"

Visar resultat 11 - 15 av 20 avhandlingar innehållade orden Jan Carlson.

  1. 11. Preemption-Delay Aware Schedulability Analysis of Real-Time Systems

    Författare :Filip Marković; Jan Carlson; Radu Dobrin; Björn Lisper; Enrico Bini; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Real-time systems; Scheduling; Schedulability analysis; Preemptions; Preemption delays; Embedded Systems; Preemptive scheduling; Response-time analysis; Cache-related preemption delay; Timing analysis; Worst-case execution time analysis; Limited-preemptive scheduling; Fixed preemption points; Computer Science; datavetenskap;

    Sammanfattning : Schedulability analysis of real-time systems under preemptive scheduling may often lead to false-negative results, deeming a schedulable taskset being unschedulable. This is the case due to the inherent over-approximation of many time-related parameters such as task execution time, system delays, etc. LÄS MER

  3. 12. Managing Extra-Functional Properties in Component-Based Development of Embedded Systems

    Författare :Séverine Sentilles; Ivica Crnkovic; Jan Carlson; Hans Hansson; Lionel Seinturier; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : The continuously increasing complexity of embedded systems is a major issue for their development, which, in addition, must also consider specific extra-functional requirements and constraints, such as limited and shared resources, distribution, timing, and dependability. Thus, embedded systems call for development solutions that can efficiently and predictably cope with these issues. LÄS MER

  4. 13. Towards Efficient Component-Based Software Development of Distributed Embedded Systems

    Författare :Séverine Sentilles; Ivica Crnkovic; Hans Hansson; Jan Carlson; Franck Barbier; Eric Cariou; Jean-Marc Jezequel; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Embedded System Development; Component-Based Software Engineering; Component Model; Extra-Functional Properties; Software engineering; Programvaruteknik; Computer Science; datavetenskap;

    Sammanfattning : .... LÄS MER

  5. 14. 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. 15. Facilitating Reuse of Safety Case Artefacts Using Safety Contracts

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

    Sammanfattning :  Safety-critical 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. Developing such systems to comply with a safety standard is a time-consuming and costly process. LÄS MER