Sökning: "Formal modeling and Analysis"

Visar resultat 6 - 10 av 51 avhandlingar innehållade orden Formal modeling and Analysis.

1. 6. Modeling and Formal Analysis of e-Health Systems

   Författare :Ashalatha Kunnappilly; Cristina Seceleanu; Peter Backeman; Maria Lindén; Paola Inverardi; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : With the healthcare practice being increasingly dependent on digital processes and electronic communication, there is a need to support a variety of e-Health applications of different requirements, with respect to connectivity, low latency, and high reliability. The focus of this thesis is on providing formal assurance to systems supporting e-Health applications. LÄS MER

3. 7. ForSyDe-Atom: Design of Heterogeneous Embedded Systems : Taming Complexity with Layers, Atoms and Patterns

   Författare :George Ungureanu; Ingo Sander; Reinhard von Hanxleden; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; system design languages; modeling; simulation; synthesis; embedded systems; cyber-physical systems; domain specific languages; systemdesignspråk; modellering; simulering; syntes; inbyggda system; cyberfysiska system; domänspecifika språk; Informations- och kommunikationsteknik; Information and Communication Technology;

   Sammanfattning : The design of embedded systems is inherently complex for two main reasons. Firstly, it entails the combined knowledge and results from a vast set of mature, well-established, yet separate disciplines, such as electrical engineering, computer science, mechanical engineering, etc. LÄS MER

4. 8. Driver modeling: Data collection, model analysis, and optimization

   Författare :Ola Benderius; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; driving simulator; driver modeling; stochastic optimization; simulation software; genetic algorithm;

   Sammanfattning : This thesis concerns aspects of driver modeling, with an emphasis on critical near-crash scenarios, involving time spans of around 10 s of driving. Here,driver modeling has been studied using both computer simulations and experiments carried out in a high-fidelity driving simulator. LÄS MER

5. 9. Analysis of enterprise IT service availability : Enterprise architecture modeling for assessment, prediction, and decision-making

   Författare :Ulrik Franke; Pontus Johnson; Lars Nordström; Göran Ericsson; João Paulo A. Almeida; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Service Level Agreement; outage costs; Enterprise Architecture; enterprise IT service availability; decision-making; metamodeling; Enterprise Architecture analysis; Bayesian networks; fault trees; Predictive Probabilistic Architecture Modeling Framework; Service Level Agreement; nertidskostnader; Enterprise Architecture; tillgänglighet hos IT-tjänster; beslutsfattande; metamodellering; arkitekturanalys; bayesianska nätverk; felträd; Predictive Probabilistic Architecture Modeling Framework;

   Sammanfattning : Information technology has become increasingly important to individuals and organizations alike. Not only does IT allow us to do what we always did faster and more effectively, but it also allows us to do new things, organize ourselves differently, and work in ways previously unimaginable. LÄS MER

7. 10. Towards Efficiency and Quality Assurance in Threat Analysis of Software Systems

   Författare :Katja Tuma; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Secure Software Design; Threat Analysis Modeling ; Secure Software Design; Threat Analysis Modeling ;

   Sammanfattning : Context: Security threats have been a growing concern in many organizations. Organizations developing software products strive to plan for security as soon as possible to mitigate such potential threats. LÄS MER