Sökning: "UPPAAL"

Visar resultat 11 - 15 av 20 uppsatser innehållade ordet UPPAAL.

1. 11. Model-checked Space Plug-and-Play Architecture Local Subnet Adaptation implemented in Ada with Ravenscar restrictions

   Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

   Författare :Christoffer Holmstedt; [2014]
   Nyckelord :;

   Sammanfattning : Space Plug-and-Play Architecture (SPA) is a set of standards to make it easier to build small satellites. Focus is put on improving the integration phase andthe time consuming validation and verification process by introducing plug-and-play functionality. From mission call-up to operational satellite it should only take six days. LÄS MER

3. 12. Definition, analysis and implementation of a model-checked Space Plug-and-play Architecture adaptation for the Controller Area Network

   Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

   Författare :Nils Brynedal Ignell; [2014]
   Nyckelord :Space Plug-and-Play Architecture; SPA; UPPAAL; Ada; Ravenscar; Controller Area Network; CAN; Virtual Network protocol;

   Sammanfattning : The Virtual Network (VN) protocol is a communications protocol software compatible with the Space Plug-and-play Architecture (SPA). This Master Thesis defines a protocol that extends the Virtual Network protocol to cover communication over the Controller Area Network (CAN). LÄS MER

4. 13. Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Predrag Filipovikj; [2013]
   Nyckelord :SOS; UPPAAL; REMES; design framework; formal modeling;

   Sammanfattning : In the context of Service-Oriented Systems (SOS), services represent loosely coupled discrete units that can be created, invoked, composed and decomposed upon a client request. In such a setting, where complex systems are composed out of services based on the client request, ensuring the expected level of Quality-of-Service (QoS) becomes a difficult task. LÄS MER

5. 14. Applying Model Checking for Verifying the Functional Requirements of a Scania’s Vehicle Control System

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Muhammad Sulyman; Shahid Ali; [2012]
   Nyckelord :Model checking; Verification; Functional Requirements; Scania; Vehicle Control System; Fuel Level Display system; Simulink Design Verifier; UPPAAL; ISO 26262.;

   Sammanfattning : Model-based development is one of the most significant areas in recent research and development activities in the field of automotive industry. As the field of software engineering is evolving, model based development is gaining more and more importance in academia and industry. LÄS MER

7. 15. Automated Architecture-Based Verification of Safety-Critical Systems

   Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

   Författare :Omar Tawffeeq Saleem Jaradat; [2011]
   Nyckelord :architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; Fuel Level Estimation System;

   Sammanfattning : Safety-critical systems require high quality and dependability levels, where system correctness and safety are major features to avoid any severe outcome. Time and cost are also important challenges that are imposed during the development process. LÄS MER