Documentation Driven Agile Development for Systems of Embedded Systems

Abstract : This paper presents the framework of documentation-driven agile development (DDAD) methodology for high confidence systems of embedded systems. DDAD mainly includes two parts: a documentation management system (DMS) and a process measurement system (PMS). DMS will create, organize, monitor, analyze and transform all documentation associated with the software development process. The information will be stored in an abstract and active form that will support a variety of formal and informal documents for different stakeholders and can interact with software tools. PMS will monitor the frequent changes in system requirements and assess the effort and success possibility of the project with a measurement model based on a set of quantitative metrics that can be automatically collected in requirements phase and stored and organized in DMS. PMS will also measure the properties of the software system that must be realized with high confidence (safety in this paper) based on quantitative metrics. DDAD will provide a mechanism to monitor and quickly respond to changes in requirements and provide a friendly communication and collaboration environment to enable different stakeholders to be easily involved in development processes and therefore significantly improve the agility of software development of SoES. DDAD will also support auto mated software generation based on a computational model and some relevant techniques. Several potential application domains are proposed in the paper.

[1]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[2]  Luqi,et al.  A Prototyping Language for Real-Time Software , 1988, IEEE Trans. Software Eng..

[3]  David C. Gompert,et al.  Planning a Ballistic Missile Defense System of Systems , 1999 .

[4]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[5]  Mladen A. Vouk Software Reliability Engineering , 1999 .

[6]  Luqi,et al.  A computer-aided prototyping system , 1988, IEEE Software.

[7]  Luqi,et al.  Information Consistency Checking in Documentation Driven Development for Complex Embedded Systems , 2001 .

[8]  N. L. Johnson,et al.  Continuous Univariate Distributions. , 1995 .

[9]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[10]  Michael R. Murrah Proposal to develop enhancements and extensions of formal models for risk assessment in software projects , 2002 .

[11]  Luqi,et al.  Perspective-based Architectural Approach for Dependable Systems , 2003 .

[12]  Ware Myers,et al.  Industrial strength software - effective management using measurement , 1997 .

[13]  Wei Zhao,et al.  A Unified Approach to Component Assembly Based on Generative Programming , 2002 .

[14]  李幼升,et al.  Ph , 1989 .

[15]  Michael S. Saboe,et al.  A Software Technology Transition Entropy Based Engineering Model , 2002 .

[16]  Shailendra Ravi,et al.  VIRTUAL MANUFACTURING: AN IMPORTANT ASPECT OF COLLABORATIVE PRODUCT COMMERCE , 2002 .

[17]  Paul M. Nelson A requirements specification of modifications to the Functional Description of the Mission Space Resource Center , 2001 .

[18]  C. Mahoney,et al.  Managing risk , 2011 .

[19]  John D. Musa,et al.  Software Reliability Engineering , 1998 .

[20]  Elaine M. Hall,et al.  Managing Risk: Methods for Software Systems Development , 1998 .

[21]  Joseph Puett Holistic framework for establishing interoperability of heterogeneous software development tools and models , 2002, ICSE '02.

[22]  Jeffrey H. Reed Software Radio , 2002 .

[23]  Agile Manifesto,et al.  Manifesto for Agile Software Development , 2001 .

[24]  Luqi,et al.  Using an object oriented model for resolving representational differences between heterogeneous systems , 2002, SAC '02.

[25]  Barry W. Boehm,et al.  The Agile Methods Fray , 2002, Computer.

[26]  Valdis Berzins,et al.  Quality of Service Behavioral Model From Event Trace Analysis , 2002 .

[27]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .