Sökning: "Aida Causevic"

Hittade 5 avhandlingar innehållade orden Aida Causevic.

1. 1. 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

3. 2. Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

   Författare :Aida Čaušević; Paul Pettersson; Jonathan P. Bowen; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; Computer science; Datavetenskap; Computer Science; datavetenskap;

   Sammanfattning : Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. LÄS MER

4. 3. Access Control for Secure Industry 4.0 Industrial Automation and Control Systems

   Författare :Björn Leander; Hans Hansson; Aida Causevic; Mikael Asplund; Mälardalens universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : A significant part of our daily lives is dependent on the continuous operation of Industrial Automation and Control Systems (IACS). They are used to control the processes of delivering electricity and clean water to our households, to run and supervise manufacturing industries that produce things we use every day. LÄS MER

5. 4. Dynamic Access Control for Industrial Systems

   Författare :Björn Leander; Hans Hansson; Aida Causevic; Sasikumar Punnekkat; Tomas Lindström; Marina Krotofil; Mälardalens universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cybersecurity; Industrial Automation and Control Systems; Industry 4.0; Access Control; Computer Science; datavetenskap;

   Sammanfattning : Industrial automation and control systems (IACS) are taking care of our most important infrastructures, providing electricity and clean water, producing medicine and food, along with many other services and products we take for granted. The continuous, safe, and secure operation of such systems are obviously of great importance. LÄS MER

7. 5. Runtime Monitoring of Automated Driving Systems

   Författare :Ayhan Mehmed; Sasikumar Punnekkat; Aida Causevic; Hans Hansson; Daniel Watzening; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Runtime Monitoring; Automated Driving Systems; Computer Science; datavetenskap;

   Sammanfattning : It is the period of the World's history, where the technological progress reached a level that enables the first steps towards the development of vehicles with automated driving capabilities. The swift response from the significant portion of the industry resulted in a race, the final line set at the introduction of vehicles with full automated driving capabilities. LÄS MER