Avancerad sökning

Visar resultat 1 - 5 av 20 avhandlingar som matchar ovanstående sökkriterier.

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

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

   Sammanfattning : 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. LÄS MER

3. 2. Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems

   Författare :Simin Cai; Cristina Seceleanu; Barbara Gallina; Dag Nyström; Marieke Huisman; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain logical data consistency and temporal correctness of the computations, one solution is to model the latter as transactions and manage them using a Real-Time Database Management System (RTDBMS). LÄS MER

4. 3. Systematic Design of Data Management for Real-Time Data-Intensive Applications

   Författare :Simin Cai; Cristina Seceleanu; Dag Nyström; Barbara Gallina; Luís Almeida; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain the consistency of data, such computations must be both logically correct (producing correct and consistent results) and temporally correct (completing before specified deadlines). LÄS MER

5. 4. Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations

   Författare :Aida Čaušević; Paul Pettersson; Cristina Seceleanu; Ina Schieferdecker; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Service-Oriented Systems; Formal modeling and Analysis; Service; Service Composition; Service Negotiation; Computer Science; datavetenskap;

   Sammanfattning : During the past decade service-orientation has become a popular design paradigm, offering an approach in which services are the functional building blocks. Services are self-contained units of composition, built to be invoked, composed, and destroyed on (user) demand. LÄS MER

7. 5. Automated Approaches for Formal Verification of Embedded Systems Artifacts

   Författare :Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

   Sammanfattning : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. LÄS MER