{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:11Z","timestamp":1750307471013,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T00:00:00Z","timestamp":1295827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2011,1,24]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1921532.1921565","type":"journal-article","created":{"date-parts":[[2011,2,8]],"date-time":"2011-02-08T13:21:01Z","timestamp":1297171261000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards a specific software development process for high integrity systems"],"prefix":"10.1145","volume":"36","author":[{"given":"Isabelle","family":"Perseil","sequence":"first","affiliation":[{"name":"INSERM, Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,1,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1366546.1366547"},{"issue":"3","key":"e_1_2_1_2_1","first-page":"82","article-title":"The Unified Software Development Process","volume":"16","author":"Jacobson Ivar","year":"1999","journal-title":"The Unified Process. IEEE Software"},{"volume-title":"Inc.","year":"2003","author":"Kruchten Philippe","key":"e_1_2_1_3_1"},{"volume-title":"Addison-Wesley Professional","year":"2002","author":"Lamport Leslie","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Leslie Lamport. The +CAL Algorithm Language. In +CAL Jul 2006.  Leslie Lamport. The +CAL Algorithm Language. In +CAL Jul 2006.","DOI":"10.1007\/11888116_2"},{"key":"e_1_2_1_6_1","unstructured":"Object Management Group (OMG). Software &amp; Systems Process Engineering Meta-Model Specification v2.0 (SPEM 2.0) April 2008.  Object Management Group (OMG). Software &amp; Systems Process Engineering Meta-Model Specification v2.0 (SPEM 2.0) April 2008."},{"key":"e_1_2_1_7_1","unstructured":"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.  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."},{"key":"e_1_2_1_8_1","first-page":"748","volume-title":"Natarajan Shankar. PVS: A Prototype Verification System. In CADE-11: Proceedings of the 11th International Conference on Automated Deduction","author":"Owre Sam","year":"1992"},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Richard F.\n       \n      Paige\n    .\n      \n  \n   \n  Case Studies in Using a Meta-Method for Formal Method Integration. In Michael Johnson editor AMAST volume \n  1349\n   of \n  Lecture Notes in Computer Science pages \n  395\n  --\n  408 Sydney Australia December \n  1997\n  . \n  Springer\n  .   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.","DOI":"10.1007\/BFb0000485"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.19"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.34"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0067-y"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.40"},{"issue":"6","key":"e_1_2_1_14_1","first-page":"10","article-title":"What is a Method?","volume":"8","author":"Rumbaugh James E.","year":"1995","journal-title":"JOOP"},{"key":"e_1_2_1_15_1","unstructured":"SAE AS-2C Architecture Description Language Subcommittee.  SAE AS-2C Architecture Description Language Subcommittee."},{"volume-title":"T\u00e9l\u00e9com Paris","year":"2006","author":"Vergnaud T.","key":"e_1_2_1_16_1"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921532.1921565","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1921532.1921565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:42Z","timestamp":1750248522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921532.1921565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,24]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1,24]]}},"alternative-id":["10.1145\/1921532.1921565"],"URL":"https:\/\/doi.org\/10.1145\/1921532.1921565","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2011,1,24]]},"assertion":[{"value":"2011-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}