Extreme programming explained: embrace change
Extreme programming explained: embrace change
Software product lines: practices and patterns
Software product lines: practices and patterns
Rapid Development: Taming Wild Software Schedules
Rapid Development: Taming Wild Software Schedules
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
Component-Based Development Process and Component Lifecycle
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
CMMI(R): Guidelines for Process Integration and Product Improvement (2nd Edition) (The SEI Series in Software Engineering)
Continuous Integration: Improving Software Quality and Reducing Risk (The Addison-Wesley Signature Series)
Contract-Based ReusableWorst-Case Execution Time Estimate
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Error Modeling in Dependable Component-Based Systems
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
A Component Model for Control-Intensive Distributed Embedded Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Integration of Extra-Functional Properties in Component Models
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Partial order reduction for verification of real-time components
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Reuse with Software Components - A Survey of Industrial State of Practice
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
| Hi-index | 0.00 |
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to be changed to best utilize the component-based paradigm, and how processes and technologies must be designed to support each other. To facilitate this change towards component-based embedded software, this paper presents a set of process guidelines, named the Progress Process Guidelines (PPG), which is based on the structure of CMMI. This paper presents the structure of the PPG, and presents and analyzes the PPG parts which most closely relate to system verification, which is typically an important and difficult activity for embedded software.