Sökning: "Component-Based Systems Engineering"

Visar resultat 6 - 10 av 15 uppsatser innehållade orden Component-Based Systems Engineering.

1. 6. Moving Towards Component Based Software Engineering in Train Control Applications

   Master-uppsats, Institutionen för datavetenskap; Tekniska högskolan

   Författare :Sajid Riaz; [2012]
   Nyckelord :;

   Sammanfattning : Software industry deals with a vital challenge that is caused by a rapidly growing demand for speedy and cost-effective development of large and complex software systems. To overcome this challenge, software community is moving towards the component based software engineering (CBSE). LÄS MER

3. 7. Integrating formal analysis techniques into the Progress-IDE

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Dinko Ivanov; [2011]
   Nyckelord :behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

   Sammanfattning : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. LÄS MER

4. 8. Integrating formal analysis techniques into the Progress-IDE

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Dinko Ivanov; [2011]
   Nyckelord :behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

   Sammanfattning : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. LÄS MER

5. 9. A framework for the analysis of failure behaviors in component-based model-driven development of dependable systems

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Muhammad Atif Javed; Faiz UL Muram Faiz UL Muram; [2011]
   Nyckelord :Dependability; Component-Based Development; Model-Driven Engineering;

   Sammanfattning : Currently, the development of high-integrity embedded component-based software systems is not supported by well-integrated means allowing for quality evaluation and design support within a development process. Quality, especially dependability, is very important for such systems. LÄS MER

7. 10. A comparison of component-based software engineering and model-driven development from the ProCom perspective

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Nikolay Grozev; [2011]
   Nyckelord :Component-based software engineering; Model-driven development; ProCom; Comparison;

   Sammanfattning : Component-based software engineering (CBSE) and model-driven development (MDD) are two approaches for handling software development complexity. In essence, while CBSE focuses on the construction of systems from existing software modules called components; MDD promotes the usage of system models which after a series of transformations result with an implementation of the desired system. LÄS MER