Search for dissertations about: "component-based design"

Showing result 16 - 20 of 48 swedish dissertations containing the words component-based design.

  2. 16. Towards Formal Verification in a Component-based Reuse Methodology

    Author : Daniel Karlsson; Petru Eles; Zebo Peng; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Model checking; Petri net; Reuse; Computer science; Datavetenskap;

    Abstract : Embedded systems are becoming increasingly common in our everyday lives. As techonology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). READ MORE

  4. 17. Modeling and Timing Analysis of Industrial Component-Based Distributed Real-time Embedded Systems

    Author : Saad Mubeen; Mikael Sjödin; Jukka Mäki-Turja; Per Lindgren; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Distributed real-time embedded systems; component-based development; holistic response-time analysis; component model; timing model; Computer Science; datavetenskap;

    Abstract : The model- and component-based development approach has emerged as an attractive option for the development of Distributed Real-time Embedded (DRE) systems. In this thesis we target several issues such as modeling of legacy communication, extraction of end-to-end timing models and support for holistic response-time analysis of industrial component-based DRE systems. READ MORE

  5. 18. A reactive approach to component-based design of resource-constrained embedded systems

    Author : Jimmie Wiklander; Tony Larsson; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Abstract : Embedded systems have become commonplace in today's society and the number of functions and their complexity are steadily increasing. This can be attributed to the advances in the microprocessor technology and the continuous development of more powerful and power-efficient microprocessors, which, in turn, allows more elaborate software implementations. READ MORE

  6. 19. Improving predictability and resource utilization in component-based embedded real-time systems

    Author : Johan Fredriksson; Ivica Crnkovic; Stefan Petters; Mälardalens högskola; []
    Keywords : Datavetenskap; Computer Science;

    Abstract : .... READ MORE

  7. 20. Adaptive Middleware for Self-Configurable Embedded Real-Time Systems : Experiences from the DySCAS Project and Remaining Challenges

    Author : Magnus Persson; Martin Törngren; DeJiu Chen; Thiemo Voigt; KTH; []
    Keywords : adaptivity; embedded real-time systems; DySCAS; DyLite; quality of service QoS ; load balancing; resource constraints; model-based design; component-based design; software architecture; adaptive middleware;

    Abstract : Development of software for embedded real-time systems poses severalchallenges. Hard and soft constraints on timing, and usually considerableresource limitations, put important constraints on the development. Thetraditional way of coping with these issues is to produce a fully static design,i.e. READ MORE