Sökning: "component model"

Visar resultat 6 - 10 av 1367 avhandlingar innehållade orden component model.

  1. 6. Efficient Means for Platform-Based Development – Emphasizing Integrated, Information-Rich System Models

    Författare :Stellan Gedell; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; function-means model; product families; product model; design rationale; integral model; platform-based design; reuse; systems theory; complete; consistent; product development; configurable component;

    Sammanfattning : Competition in the automotive industry is fierce, which in recent years has been demonstrated by some of the companies’ struggle to survive. A significant challenge is posed by the market’s ever-increasing expectations of new and impressive products, while maintaining profitability. LÄS MER

  3. 7. Towards Efficient Component-Based Software Development of Distributed Embedded Systems

    Författare :Séverine Sentilles; Ivica Crnkovic; Hans Hansson; Jan Carlson; Franck Barbier; Eric Cariou; Jean-Marc Jezequel; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Embedded System Development; Component-Based Software Engineering; Component Model; Extra-Functional Properties; Software engineering; Programvaruteknik; Computer Science; datavetenskap;

    Sammanfattning : .... LÄS MER

  4. 8. A Formalized Approach to Multi-View Components for Embedded Systems : Applied to Tool Integration, Run-Time Adaptivity and Architecture Exploration

    Författare :Magnus Persson; Martin Törngren; De-Jiu Chen; Werner Damm; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; view; viewpoint; architecture; component; view integration; architecture exploration; component-based development; multi-view modeling; model-based design; CESAR; DySCAS; ESPRESSO;

    Sammanfattning : Development of embedded systems poses an increasing challenge fordevelopers largely due to increasing complexity. Several factors contribute tothe complexity challenge:• the number of extra-functional properties applying to embedded systems,such as resource usage, timing effects, safety. LÄS MER

  5. 9. Compile-time Safety and Runtime Performance in Programming Frameworks for Distributed Systems

    Författare :Lars Kroll; Seif Haridi; Jim Dowling; Peter Van Roy; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; distributed systems; distributed computing; programming systems; programming languages; computer science; domain specific languages; message-passing; actor model; component model; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : Distributed Systems, that is systems that must tolerate partial failures while exploiting parallelism, are a fundamental part of the software landscape today. Yet, their development and design still pose many challenges to developers when it comes to reliability and performance, and these challenges often have a negative impact on developer productivity. LÄS MER

  7. 10. Model Checking Parameterized Timed Systems

    Författare :Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

    Sammanfattning : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. LÄS MER