Sökning: "Embedded Systems"
Visar resultat 31 - 35 av 832 avhandlingar innehållade orden Embedded Systems.
31. Design of Assured and Efficient Safety-critical Systems
Sammanfattning : Safety-critical systems need to be analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER
32. Engineering Software for Resilient Cyber-Physical Systems
Sammanfattning : Designing, implementing, and verifying resilient cyber-physical systems is challenging. Resilience is the ability to provide the required capability when facing adversity. LÄS MER
33. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models
Sammanfattning : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. LÄS MER
34. Security Analysis of Web and Embedded Applications
Sammanfattning : As we put more trust in the computer systems we use the need for security is increasing. And while security features like HTTPS are becoming commonplace on the web, securing applications remains dicult. This thesis focuses on analyzing dierent computer ecosystems to detect vulnerabilities and develop countermeasures. LÄS MER
35. Hierarchical scheduling for predictable execution of real-time software components and legacy systems
Sammanfattning : This dissertation presents techniques to achieve predictable execution of coarse-grained software components and for preservation of temporal properties of components during their integration and reuse.The dissertation presents a novel concept runnable virtual node (RVN) which interaction with the environment is bounded both by a functional and a temporal interface, and the validity of its internal temporal behaviour is preserved when integrated with other components or when reused in a new environment. LÄS MER