{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:10:58Z","timestamp":1761487858127},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_4","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:09:52Z","timestamp":1181624992000},"page":"45-59","source":"Crossref","is-referenced-by-count":6,"title":["Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Vincent","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Delcoigne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelyne","family":"Leret","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Ourghanlian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Hilsenkopf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Paris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/214013.214021","volume":"4","author":"H.R. Callison","year":"1995","unstructured":"Callison, H.R.: A time-sensitive object model for real-time systems. ACM Trans. on Software Engineering and Methodology, Vol. 4, n\u20213 (1995) 287\u2013317","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"David, V., Aussagu\u00e8s, C., Cordonnier, C., Aji, M., Delcoigne, J.: OASIS: a new way to design safety critical applications. 21st IFAC\/IFIP Workshop on Real-Time Programming, Gramado, Brazil (1996)","DOI":"10.1016\/S1474-6670(17)46349-X"},{"key":"4_CR3","volume-title":"Real-Time &Embedded Systems","author":"V. David","year":"1996","unstructured":"David, V., Aji, M., Delcoigne, J., Aussagu\u00e8s, C., Cordonnier, C.: Le mod\u00e8le de conception OASIS\/YC pour les syst\u00e8mes temps-r\u00e9el complexes critiques. Real-Time &Embedded Systems, TEKNEA, Paris (1996)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Halang, W.A., Gumzej, R., Colnaric, M.: Measuring the performance of real-time systems. 22nd IFAC\/IFIP Workshop on Real-Time Programming, Lyon, France (1997)","DOI":"10.1016\/S1474-6670(17)41398-X"},{"key":"4_CR5","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)"},{"key":"4_CR6","unstructured":"Kopetz, H.: The Time-Triggered approach to real-time systems design. Predictability Dependable Computing Systems (Randell,B., Laprie, J.-C., Kopetz,H., Littlewood, B.) (1995) 53\u201378"},{"key":"4_CR7","unstructured":"LeGuernic, P., Benveniste, A., Bournai, P., Gautier, T.: SIGNAL: a data-flow oriented language for signal processing. INRIA, Research Report-378 (1985)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, Vol. 20, n\u20211 (1973) 46\u201361","journal-title":"Journal of the ACM"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1023\/A:1007905003094","volume":"13","author":"P.P. Puschner","year":"1997","unstructured":"Puschner, P.P., Schedl, A.V.: Computing maximum task execution times-a graph-based approach. Real-Time Systems, Vol. 13, n\u20211 (1997) 67\u201392","journal-title":"Real-Time Systems"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Ramamritham, K.: Allocation and scheduling of complex periodic tasks. IEEE Proceedings of the ICDCS (1990) 108\u2013115","DOI":"10.1109\/ICDCS.1990.89256"},{"issue":"10","key":"4_CR11","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"J.A. Stankovic","year":"1988","unstructured":"Stankovic, J.A.: Misconceptions about real-time: a serious problem for next-generation systems. IEEE Computer, Vol. 21, n\u202110 (1988) 10\u201319","journal-title":"IEEE Computer"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01995673","volume":"2","author":"J.A. Stankovic","year":"1990","unstructured":"Stankovic, J.A., Ramamritham, K.: What is predictability for real-time systems? Real-Time Systems, Vol. 2, n\u20214 (1990) 247\u2013254","journal-title":"Real-Time Systems"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49646-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T01:29:33Z","timestamp":1556501373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}