Search for dissertations about: "AADL"

Found 3 swedish dissertations containing the word AADL.

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

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

   Abstract : 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. READ MORE

4. 2. Methods and Tool Support for Analyzing Architectural Models of Embedded Systems

   Author : Stefan Björnander; Paul Pettersson; Kristina Lundqvist; Cristina Seceleanu; Ingo Sander; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Abstract : Embedded systems are ubiquitous in the modern world. They are microcomputers most often included incomplete devices consisting of software and hardware. Embedded systems range from small devices to large systems monitoring and controlling complex processes. READ MORE

5. 3. Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support

   Author : Ashalatha Kunnappilly; Cristina Seceleanu; Maria Lindén; Elena Troubitsyna; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Abstract : Ambient Assisted Living (AAL) solutions are aimed to assist the elderly in their independent and safe living. During the last decade, the AAL field has witnessed a significant development due to advancements in Information and Communication Technologies, Ubiquitous Computing and Internet of Things. READ MORE