{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:47:12Z","timestamp":1725482832060},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540449096"},{"type":"electronic","value":"9783540449102"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-44910-2_10","type":"book-chapter","created":{"date-parts":[[2007,4,17]],"date-time":"2007-04-17T17:04:30Z","timestamp":1176829470000},"page":"197-218","source":"Crossref","is-referenced-by-count":14,"title":["A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems"],"prefix":"10.1007","author":[{"given":"Shourong","family":"Lu","sequence":"first","affiliation":[]},{"given":"Wolfgang A.","family":"Halang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1_Ref","unstructured":"Booch G, Rumbaugh J, Jacobson I (1999) The Unified Modeling Language User Guide. Addison-Wesley"},{"key":"10_CR2_Ref","unstructured":"Cheesman J, Daniels J (2001) UML Components \u2014 A Simple Process for Speci-fying Component-based Software. Addison-Wesley"},{"key":"10_CR3_Ref","volume-title":"Norm 66253 Teil 3: Mehrrechner-PEARL","author":"DIN","year":"1989","unstructured":"DIN (1989) Norm 66253 Teil 3: Mehrrechner-PEARL. Beuth, Berlin K \u00f6ln"},{"key":"10_CR4_Ref","volume-title":"Norm 66253-2: Programmiersprache PEARL90","author":"DIN","year":"1998","unstructured":"DIN (1998) Norm 66253-2: Programmiersprache PEARL90. Beuth, Berlin K \u00f6ln"},{"key":"10_CR5_Ref","unstructured":"Douglass BP (1999) Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. Addison-Wesley"},{"key":"10_CR6_Ref","unstructured":"Douglass BP (1999) Real-time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. Addison-Wesley"},{"key":"10_CR7_Ref","unstructured":"Gumzej R (1999) Embedded System Architecture Co-Design and its Validation. Doctoral thesis, University of Maribor"},{"key":"10_CR8_Ref","unstructured":"Gumzej R, Halang WA (2003) A Configuration Manager for Embedded Real-Time Applications. In: Proc Co-design for Embedded Real-time Systems, pp 24-29"},{"key":"10_CR9_Ref","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-49646-7_15","volume-title":"Computer Safety, Reliablity and Secuity, LNCS 1516","author":"WA Halang","year":"1998","unstructured":"Halang WA, Frigeri AH (1998) Methods and Languages for Safety Related Real Time Programming. In: Ehrenberger WD (ed) Computer Safety, Reliablity and Secuity, LNCS 1516, Springer, Berlin Heidelberg New York, pp 196-208"},{"key":"10_CR10_Ref","first-page":"87","volume-title":"Proc 4th IEEE Int Symp on Object-Oriented Real-Time Distributed Computing","author":"WA Halang","year":"2001","unstructured":"Halang WA, Pereira CE, Frigeri AH (2001) Safe Object Oriented Programming of Distributed Real Time Systems in PEARL. In: Proc 4th IEEE Int Symp on Object-Oriented Real-Time Distributed Computing, IEEE Computer Society Press, Los Alamitos, pp 87-94"},{"key":"10_CR11_Ref","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/ICIT.2003.1290224","volume-title":"Proc IEEE Int Conf on Industrial Technology","author":"WA Halang","year":"2003","unstructured":"Halang WA (2003) Software Dependability Considered as the Main Problem of Embedded Systems. In: Proc IEEE Int Conf on Industrial Technology, IEEE, Pis-cataway, pp 14-21"},{"key":"10_CR12_Ref","unstructured":"IABG (1997) Entwicklungsstandard fu\u00a8 r IT-Systeme des Bundes. http:\/\/www.v-modell.iabg.de\/"},{"key":"10_CR13_Ref","unstructured":"International Electrotechnical Commission (1992) Standard IEC 61131-3: Pro-grammable Controllers, Part 3: Programming Languages. Geneva"},{"key":"10_CR14_Ref","unstructured":"International Electrotechnical Commission (1998) Standard IEC 61508: Func-tional Safety of Electrical\/Electronic\/Programmable Electronic Safety-related Systems. Geneva"},{"key":"10_CR15_Ref","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07847-1","volume-title":"IEC 61131-3: Programming Industrial Automa-tion Systems","author":"KH John","year":"2001","unstructured":"John KH, Tiegelkamp M (2001) IEC 61131-3: Programming Industrial Automa-tion Systems. Springer, Berlin-Heidelberg-New York"},{"key":"10_CR16_Ref","first-page":"28","volume":"26","author":"H Krebs","year":"1984","unstructured":"Krebs H, Haspel U (1984) Regelungstechnische Praxis 26: 28-33","journal-title":"Regelungstechnische Praxis"},{"key":"10_CR17_Ref","unstructured":"Leveson NG (1995) Safeware: System safety and computers. Addison-Wesley"},{"key":"10_CR18_Ref","doi-asserted-by":"crossref","unstructured":"Lewis R (2001) Modelling control systems using IEC 61499, Applying function blocks to distributed systems. IEE Control Engineering Series, No 59","DOI":"10.1049\/PBCE059E"},{"key":"10_CR19_Ref","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/978-3-642-55617-3_2","volume-title":"Verteilte Echtzeit-systeme","author":"S Lu","year":"2003","unstructured":"Lu S (2003) An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen. In: Holleczek P, Vogel-Heuser B (eds) Verteilte Echtzeit-systeme. Reihe Informatik aktuell, Springer, Berlin Heidelberg, pp 13-22"},{"key":"10_CR20_Ref","unstructured":"Ministry of Defence (1997) Defence Standard 00-55 Issue 2: Requirements for Safety-Related Software in Defence Equipment"},{"key":"10_CR21_Ref","unstructured":"Object Management Group (2001) Unified Modeling Language specification V1.4"},{"key":"10_CR22_Ref","unstructured":"Object Management Group (2003) Unified Modeling Language: Superstructure. OMG document ptc\/2003-08-02"},{"key":"10_CR23_Ref","volume-title":"Standard DO-178B","author":"RTCA","year":"1992","unstructured":"RTCA (1992) Standard DO-178B: Software Considerations in Airborne Systems and Equipment Certification, Washington, DC"},{"key":"10_CR24_Ref","unstructured":"Szyperski C, Gruntz D, Murer S (2002) Component Software \u2014 Beyond Object-Oriented Programming. 2nd edn. Addison-Wesley"},{"key":"10_CR25_Ref","unstructured":"Seli \u0107 B, Gullekson G, Ward P (1994) Real-Time Object Oriented Modeling. Wiley"},{"key":"10_CR26_Ref","doi-asserted-by":"crossref","unstructured":"Seli \u0107 B, Rumbaugh J (1998) Using UML for Modeling Complex Real-time Sys- tems. http:\/\/www.objectime.com\/uml","DOI":"10.1007\/BFb0057795"},{"key":"10_CR27_Ref","unstructured":"Torres-Pomales W (2000) Software Fault Tolerance: A Tutorial. In: NASA\/TM-2000-210616"}],"container-title":["Studies in Computational Intelligence","Contributions to Ubiquitous Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44910-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T10:12:49Z","timestamp":1683799969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-44910-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540449096","9783540449102"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44910-2_10","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2007]]}}}