Sökning: "architecture-based verification"

Hittade 2 avhandlingar innehållade orden architecture-based verification.

1. 1. Architecture-Based Verification of Dependable Embedded Systems

   Författare :Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Birgitta Lindström; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architecture-based verification; dependable embedded systems; AADL; architecture quality assurance; UPPAAL; Computer Science; datavetenskap;

   Sammanfattning : Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. LÄS MER

3. 2. Design and Analysis of Self-protection : Adaptive Security for Software-Intensive Systems

   Författare :Charilaos Skandylas; Welf Löwe; Narges Khakpour; Jesper Andersson; Javier Camara Moreno; Linnéuniversitetet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Self-Protection; Security Analysis; Self-Adaptation; Computer Science; Datavetenskap;

   Sammanfattning : Today’s software landscape features a high degree of complexity, frequent changes in requirements and stakeholder goals, and uncertainty. Uncertainty and high complexity imply a threat landscape where cybersecurity attacks are a common occurrence, while their consequences are often severe. LÄS MER