Sökning: "Paola Inverardi"

Hittade 2 avhandlingar innehållade orden Paola Inverardi.

1. 1. Quality Assurance for Dependable Embedded Systems

   Författare :Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Kaj Hänninen; Paola Inverardi; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : Architectural engineering of embedded computer systems comprehensively affects both the development processes and the abilities of the systems. Rigorous and holistic verification of architectural engineering is consequently essential in the development of safety-critical and mission-critical embedded systems, such as computer systems within aviation, automotive, and railway transportation, where even minor architectural defects may cause substantial cost and devastating harm. LÄS MER

3. 2. Modeling and Formal Analysis of e-Health Systems

   Författare :Ashalatha Kunnappilly; Cristina Seceleanu; Peter Backeman; Maria Lindén; Paola Inverardi; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : With the healthcare practice being increasingly dependent on digital processes and electronic communication, there is a need to support a variety of e-Health applications of different requirements, with respect to connectivity, low latency, and high reliability. The focus of this thesis is on providing formal assurance to systems supporting e-Health applications. LÄS MER