Sökning: "dynamic systems development"

Visar resultat 11 - 15 av 559 avhandlingar innehållade orden dynamic systems development.

1. 11. Development of a new service-oriented modelling method for information systems analysis and design

   Författare :Prima Gustiené; Anders G Nilsson; Sten Carlsson; William Wei Song; Karlstads universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information systems analysis and design; conceptual modeling; service orientation; semantic integrity; static and dynamic aspects; goal modeling.; Informatics; Informatik; Information Systems; Informatik;

   Sammanfattning : This thesis presents a new modelling method for information systems analysis and design, where the concept of service and the principles of service orientation are used for integrated modelling and reasoning about information systems architectures across organisational and technical systems boundaries. The concept of service enables cohesion of the intersubjective and objective modelling traditions by using a single type of diagram that facilitates detection of semantic inconsistency, incompleteness, ambiguity and discontinuity between the static and dynamic aspects of information systems specifications. LÄS MER

3. 12. On Provably Correct Decision-Making for Automated Driving

   Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

   Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

4. 13. Programming Model and Protocols for Reconfigurable Distributed Systems

   Författare :Cosmin Ionel Arad; Seif Haridi; Gregory Chockler; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; distributed systems; programming model; message-passing concurrency; nested hierarchical composition; reactive components; software architecture; dynamic reconfiguration; multi-core; discrete-event simulation; peer-to-peer; testing; debugging; distributed key-value stores; data replication; consistency; linearizability; network partition tolerance; consistent hashing; self-organization; scalability; elasticity; fault tolerance; consistent quorums;

   Sammanfattning : Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. LÄS MER

5. 14. Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs

   Författare :Mauricio Chimento; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : When verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. Static verification deals with the analysis of either concrete source code, or a model of it. LÄS MER

7. 15. Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems

   Författare :Mehrdad Saadatmand; Mikael Sjödin; Antonio Cicchetti; Radu Dobrin; Paul Pop; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; non-functional requirements; model-driven development; real-time; embedded systems; Computer Science; datavetenskap;

   Sammanfattning : Design of real-time embedded systems is a complex and challenging task. Part of this complexity originates from their limited resources which incurs handling a big range of Non-Functional Requirements (NFRs). Therefore, satisfaction of NFRs plays an important role in the correctness of the design of these systems. LÄS MER