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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Atkinson, Colin (Επιμελητής έκδοσης), Bunse, Christian (Επιμελητής έκδοσης), Gross, Hans-Gerhard (Επιμελητής έκδοσης), Peper, Christian (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3778
• Θέματα: Computer science.; Software engineering.; Operating systems (Computers).; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Operating Systems.

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...

Πίνακας περιεχομένων:

• 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.