Sökning: "Inbyggda system"
Visar resultat 1 - 5 av 232 avhandlingar innehållade orden Inbyggda system.
1. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems
Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER
2. Embedded internet system architectures
Sammanfattning : Today, using computers is a daily thing for many people over the world. We use computers to for example communicate, read news, search for sport events, correspond with e-mail, participate in meetings, and download the latest polyphonic ring tones for our mobile phones. LÄS MER
3. Multi-Criteria Optimization of System Integration Testing
Sammanfattning : Optimizing software testing process has received much attention over the last few decades. Test optimization is typically seen as a multi-criteria decision making problem. One aspect of test optimization involves test selection, prioritization and execution scheduling. LÄS MER
4. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture
Sammanfattning : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. LÄS MER
5. Component-based software design of embedded real-time systems
Sammanfattning : Embedded systems have become commonplace in today's society and their complexity and number of functions are steadily increasing. This can be attributed to the unceasing advances in the microprocessor technology and the continuous delivery of more powerful and power-efficient microprocessors, which, in turn, allows more elaborate software implementations. LÄS MER
