Component-Based Software Development for Embedded Systems An Overview of Current Research Trends /

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospac...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Atkinson, Colin (Editor ), Bunse, Christian (Editor ), Gross, Hans-Gerhard (Editor ), Peper, Christian (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3778
Temas:
Software engineering.
Operating systems (Computers).
Software Engineering.
Operating Systems.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares