Isabelle Perseil
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.
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- Philippe Kruchten. The Rational Unified Process: An Introduction, Third Edition. Object Technology Series. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003. Google ScholarDigital Library
- Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Professional, Jul 2002. Google ScholarDigital Library
- Leslie Lamport. The +CAL Algorithm Language. In +CAL, Jul 2006.Google Scholar
- Object Management Group (OMG). Software & Systems Process Engineering Meta-Model Specification, v2.0 (SPEM 2.0), April 2008.Google Scholar
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- James E. Rumbaugh. What is a Method? JOOP, 8(6):10--16, 26, 1995.Google Scholar
- SAE AS-2C Architecture Description Language Subcommittee.Google Scholar
- T. Vergnaud, B. Zalila, and J. Hugues. Ocarina: a Compiler for the AADL. Technical report, Télécom Paris, 2006.Google Scholar
Index Terms
- Towards a specific software development process for high integrity systems
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 improvementThis 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 engineeringThe 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