Sökning: "model system"
Visar resultat 1 - 5 av 7875 avhandlingar innehållade orden model 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. Architecting model driven system integration in production engineering
Sammanfattning : System integration is a key enabler to maximize information value in an engineering context. The valuable information is normally represented by information models which play a decisive role in the implementation of system integration. LÄS MER
3. Förstå verkligheten som system : - att utveckla gymnasieelevers systemgeografiska kunnande genom geografiundervisning
Sammanfattning : This doctoral thesis is concerned with how upper secondary students in Sweden develop system geographical knowing through Geography teaching, where complex issues such as climate change are dealt with. In many countries, these issues are particularly relevant for the school subject of Geography since the subject is responsible for issues that involve system changes. LÄS MER
4. Pavement maintenance budget allocation policy analysis and design : the Swedish National Road Administration case
Sammanfattning : .... LÄS MER
5. 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