Component-Based Software Development for Embedded Systems
Springer Berlin (Verlag)
978-3-540-30644-3 (ISBN)
Dr. Christian Bunse ist Mitarbeiter des Fraunhofer Instituts für Experimentelles Software Engineering (IESE). Er ist verantwortlich für den Bereich der objektorientierten und komponentenbasierten Software-Entwicklung und beschäftigt sich insbesondere mit der Thematik der objektorientierten Vorgehensmodelle sowie ihres Transfers in die Praxis.
Hans-Gerhard Gross received his PhD in Software Engineering from the University of Glamorgan, UK, where he worked on timing aspects of real-time systems development and their dynamic verification. Currently, he is employed as project manager, and responsible for building up software testing competence at the Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany. His current research focus is on model-driven and component-based software development approaches, particularly in the embedded and real-time domain, and on verification and validation techniques for such systems.
Component-Based Software Development for Embedded Systems - An Introduction.- Component-Based Software Development for Embedded Systems - An Introduction.- Specification and Verification.- Specification and Verification of Applications Based on Function Blocks.- A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets.- Modular Verification of Reconfigurable Components.- Component Compatibility.- Behavioral Types for Embedded Software - A Survey.- Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing.- Component Architectures, Implementation and Tool Support.- Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML.- Model Driven Software Development in the Context of Embedded Component Infrastructures.- A Component Framework for Consumer Electronics Middleware.- Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks.- CoConES: An Approach for Components and Contracts in Embedded Systems.- Adopting a Component-Based Software Architecture for an Industrial Control System - A Case Study.- Non-functional Properties.- Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process.- Performance Evaluation Approaches for Software Architects.- Component-Based Engineering of Distributed Embedded Control Software.- Component-Based Development of Dependable Systems with UML.
Erscheint lt. Verlag | 12.12.2005 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | VIII, 348 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 540 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | Component-Based Systems • Dependable Computing • Dependable Systems • Distributed Systems • Embedded Systems • Middleware • Model Driven Architecture • object oriented design • Performance Evaluation • Real-Time Systems • software architecture • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • Software Specification • Software Verification • Systems Architecture • systems Development • UML • UML (Unified Modeling Language) • unified modeling language (UML) • Validation • verification • Verteilte Systeme |
ISBN-10 | 3-540-30644-7 / 3540306447 |
ISBN-13 | 978-3-540-30644-3 / 9783540306443 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich