More Web Proxy on the site http://driver.im/

research-article

Towards a specific software development process for high integrity systems

Author:

Isabelle PerseilAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 36, Issue 1

Pages 1 - 8

https://doi.org/10.1145/1921532.1921565

Published: 24 January 2011 Publication History

Abstract

The software development process is the main tool of project management. It serves to plan optimally all activities related to the production of software. It is mainly a scheduling policy of these activities which allows to control and to follow them in time.We moved here toward an adaptation of the RUP for real-time systems. First, our approach is to enrich the current process with other phases, secondly, we consider that the requirements of strategic type must be completely identified, specified, verified since they are those which lead all the development; last, we are redefining the lifecycle which puts the models of highest level of abstraction (analysis, architecture) as the main objectives to reach. The enrichment of the development process relates to additional phases and a parallelization of its sub-processes. The software development process that we propose is subdivided into three sub-processes whose principal is led by the strategic use cases. This allows a seamless development, involving intermediate languages to move gradually from the informal to the formal and provides the opportunity to compose languages of different types.

References

[1]

Sebastien Gerard, Peter Feiler, JF Rolland, Mamoun Filali, Marc-Olivier Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, and Isabelle Perseil. UML&AADL '2007 Grand Challenges. ACM SIGBED Review, A Special Report on UML&AADL Grand Challenges, 4(4), october 2007.

Digital Library

[2]

Ivar Jacobson, Grady Booch, and James E Rumbaugh. Excerpt from "The Unified Software Development Process": The Unified Process. IEEE Software, 16(3):82--90, 1999.

[3]

Philippe Kruchten. The Rational Unified Process: An Introduction, Third Edition. Object Technology Series. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003.

Digital Library

[4]

Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Professional, Jul 2002.

Digital Library

[5]

Leslie Lamport. The +CAL Algorithm Language. In +CAL, Jul 2006.

[6]

Object Management Group (OMG). Software & Systems Process Engineering Meta-Model Specification, v2.0 (SPEM 2.0), April 2008.

[7]

OMG. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 3, ptc/09-05-13. http://www.omg.org/cgi-bin/doc?ptc/09-05-13, May 2009.

[8]

Sam Owre, John M. Rushby, and Natarajan Shankar. PVS: A Prototype Verification System. In CADE-11: Proceedings of the 11th International Conference on Automated Deduction, pages 748--752, London, UK, 1992. Springer-Verlag.

Digital Library

[9]

Richard F. Paige. Case Studies in Using a Meta-Method for Formal Method Integration. In Michael Johnson, editor, AMAST, volume 1349 of Lecture Notes in Computer Science, pages 395--408, Sydney, Australia, December 1997. Springer.

Digital Library

[10]

Isabelle Perseil and Laurent Pautet. A Co-Modeling Methodology Designed for RT Architecture Models Integration. In 12th International Conference on Engineering of Complex Computer Systems, ICECCS, pages 371--376, Auckland, New Zealand, July 2007. IEEE Computer Society.

Digital Library

[11]

Isabelle Perseil and Laurent Pautet. A Concrete Syntax for UML 2.1 Action Semantics Using + CAL. In IEEE Computer Society, editor, 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), pages 217--221, april 2008.

Digital Library

[12]

Isabelle Perseil and Laurent Pautet. Foundations of a new software engineering method for real-time systems. Innovations in Systems and Software Engineering, 4(3):195--202, September 2008.

[13]

Isabelle Perseil and Laurent Pautet. An Emerging Need for a New Software Engineering Method. In IEEE Computer Society, editor, 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), pages 359--364, june 2009.

Digital Library

[14]

James E. Rumbaugh. What is a Method? JOOP, 8(6):10--16, 26, 1995.

[15]

SAE AS-2C Architecture Description Language Subcommittee.

[16]

T. Vergnaud, B. Zalila, and J. Hugues. Ocarina: a Compiler for the AADL. Technical report, Télécom Paris, 2006.

Cited By

Ruiz‐Rube IDodero JPalomo‐Duarte MRuiz MGawn D(2013)Uses and applications of Software & Systems Process Engineering Meta‐Model process models. A systematic mapping studyJournal of Software: Evolution and Process10.1002/smr.159425:9(999-1025)Online publication date: 10-Apr-2013
https://doi.org/10.1002/smr.1594

Index Terms

Towards a specific software development process for high integrity systems
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Project and people management
      2. Software management
2. Software and its engineering
  1. Software creation and management
    1. Software development process management

Recommendations

A reference framework for process-oriented software development organizations

In this paper, a proposal of a generic framework for process-oriented software development organizations is presented. Additionally, the respective way of managing the process model, and the instantiation of their processes with the Rational Unified ...
Applying agile and lean practices in a software development project into a CMMI organization
PROFES'11: Proceedings of the 12th international conference on Product-focused software process improvement

This paper presents an approach based on a practical experience in applying agile and lean practices in a software development process performed into an organization evaluated CMMI level 5. As a result of a theoretical review on agile and lean practices,...
Experience-based approach for adoption of agile practices in software development projects
CAiSE'10: Proceedings of the 22nd international conference on Advanced information systems engineering

The agile approach for software development has attracted a great deal of interest in both academic and industry communities in the last decade. Nevertheless the wide adoption of agile methods in ever growing number of software development projects, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 36, Issue 1

January 2011

210 pages

ISSN:0163-5948

DOI:10.1145/1921532

Issue’s Table of Contents

Copyright © 2011 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 January 2011

Published in SIGSOFT Volume 36, Issue 1

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
332
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Ruiz‐Rube IDodero JPalomo‐Duarte MRuiz MGawn D(2013)Uses and applications of Software & Systems Process Engineering Meta‐Model process models. A systematic mapping studyJournal of Software: Evolution and Process10.1002/smr.159425:9(999-1025)Online publication date: 10-Apr-2013
https://doi.org/10.1002/smr.1594

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents