{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:29:55Z","timestamp":1742383795203,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000129"},{"type":"electronic","value":"9783540360803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36080-8_22","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:55:19Z","timestamp":1269899719000},"page":"253-270","source":"Crossref","is-referenced-by-count":8,"title":["Wrapping Real-time Systems from Temporal Logic Specifications"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Rodr\u03afguez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Charles","family":"Fabre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Arlat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,8]]},"reference":[{"key":"22_CR1","unstructured":"W. R. Cheswick and S. M. Bellovin, Firewalls and Internet Security, Addison-Wesley, 1994."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"J. Voas, K. Miller, Interface Robustness for COTS-Based Systems, Digest no. 97\/013, Colloquium on COTS and Safety Critical Systems, IEE, Computing and Control Division, pp. 7\/1\u20137\/12, 1997.","DOI":"10.1049\/ic:19970097"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"J. M. Voas, \u201cCertifying Off-the-Shelf Software Components\u201d, Computer, pp. 53\u201359, 1998.","DOI":"10.1109\/2.683008"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"A. K. Ghosh, M. Schmid, F. Hill, \u201cWrapping Windows NT Software for Robustness\u201d, in Proc. 29th Int. Symp. on Fault-Tolerant Computing, Madison, WI, USA, pp. 344\u2013347, 1999.","DOI":"10.1109\/FTCS.1999.781070"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"A. Mahmood, D. M. Andrews, E. J. McCluskey, \u201cExecutable Assertions and Flight Software\u201d, in Proc. 6th Digital Avionics Systems Conf., Baltimore, MD, USA, pp. 346\u2013351, 1984.","DOI":"10.2514\/6.1984-2726"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"C. Rab\u00e9jac, J.-P. Blanquart, J.-P. Queille, \u201cExecutable Assertions and Timed Traces for On-Line Software Error Detection\u201d, in Proc. 26th Int. Symp. on Fault-Tolerant Computing, Sendai, Japan, pp. 138\u2013147, 1996.","DOI":"10.1109\/FTCS.1996.534602"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"M. Hiller, \u201cExecutable Assertions for Detecting Data Errors in Embedded Control Systems\u201d, in Proc. Int. Conf. on Dependable Systems and Networks, New York, NY, USA, pp. 24\u201333, 2000.","DOI":"10.1109\/ICDSN.2000.857510"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"F. Salles, M. Rodr\u03afguez, J.-C. Fabre, J. Arlat, \u201cMetakernels and Fault Containment Wrappers\u201d, in Proc. 29th Int. Symp. on Fault-Tolerant Computing Systems, Madison, WI, USA, pp. 22\u201329, 1999.","DOI":"10.1109\/FTCS.1999.781030"},{"issue":"12","key":"22_CR9","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.368136","volume":"20","author":"M. Diaz","year":"1994","unstructured":"M. Diaz, G. Juanole, J.-P. Courtiat, \u201cObserver \u2014 A Concept for Formal On-Line Validation of Distributed Systems\u201d, IEEE Trans. on Software Engineering, vol. 20, no. 12, pp. 900\u2013913, 1994.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01088521","volume":"7","author":"F. Jahanian","year":"1994","unstructured":"F. Jahanian, R. Rajkumar, S. Raju, \u201cRuntime Monitoring of Timing Constraints in Distributed Real-Time Systems\u201d, Real-Time Systems, vol. 7, no. 3, pp. 247\u2013274, 1994.","journal-title":"Real-Time Systems"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"A. K. Mok, G. Liu, \u201cEfficient Run-Time Monitoring of Timing Constraints\u201d, in Proc. 3rd Real-Time Technology and Applications Symp., Montreal, Canada, pp. 252\u2013262, 1997.","DOI":"10.1109\/RTTAS.1997.601363"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"T. Savor, R. E. Seviora, \u201cAn Approach to Automatic Detection of Software Failures in Real-Time Systems\u201d, Ibid., pp. 136\u2013146, 1997.","DOI":"10.1109\/RTTAS.1997.601351"},{"key":"22_CR13","unstructured":"Enforceable Security Policies, TR98-1664, Dept. Comp. Science, Cornell Univ., Ithaca, NY (USA), 1998."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"M. Rodr\u03afguez, J.-C. Fabre, J. Arlat, \u201cFormal Specification for Building Robust Real-time Microkernels\u201d, in Proc. 21st Real-Time Systems Symp, Orlando, FL, USA, pp. 119\u2013128, 2000.","DOI":"10.1109\/REAL.2000.896002"},{"key":"22_CR15","unstructured":"Chorus Systems, \u201cCHORUS\/ClassiX release 3-Technical Overview\u201d, TR CS\/TR-96-119.12, Chorus Systems, 1997 ( http:\/\/www.sun.com\/chorusos )."},{"key":"22_CR16","unstructured":"A. Burns, A. J. Wellings, Real-time Systems and their Programming Languages, Addison-Wesley, 1997."},{"key":"22_CR17","unstructured":"I. Majzik, J. J\u00e1vorszky, A. Pataricza E. Sel\u00e9nyi, \u201cConcurrent Error Detection of Program Execution Based on Statechart Specification\u201d, in Proc. 10th European Workshop on Dependable Computing, Vienna, Austria, pp. 181\u2013185, 1999."},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"K. Havelund, G. Rosu, \u201cSynthesizing Monitors for Safety Properties\u201d, in Proc. Int. Conf. on Tools and Algorithms for Construction and Analysis of Systems, Grenoble, France, pp. 342\u2013256, 2002.","DOI":"10.1007\/3-540-46002-0_24"},{"key":"22_CR19","unstructured":"B. C. Moszkowski, Executing Temporal Logic Programs, Cambrige University Press, 1987."},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"P. Maes, \u201cConcepts and Experiments in Computational Reflection\u201d, in Proc. Conf. on Object-Oriented Programming, Systems and Aplications, Orlando, FL (USA), pp. 147\u2013155, 1987.","DOI":"10.1145\/38765.38821"},{"key":"22_CR21","unstructured":"S. Hazelhurst, J. Arlat, \u201cSpecifying and Verifying Fault Tolerant Hardware\u201d, in Proc. Designing Correct Circuits, Grenoble, France, 2002."},{"key":"22_CR22","volume-title":"Doctoral Dissertation","author":"M. R. Moreno","year":"2002","unstructured":"M. Rodr\u03afguez Moreno, \u201cWrapping Technology for the Dependability of Real-Time Systems\u201d, Doctoral Dissertation, National Polytechnic Institute, Toulouse, France, July 2002. (in French)."},{"key":"22_CR23","unstructured":"ANTLR, ANTLR Complete Language Translation Solutions, http:\/\/www.antlr.org ."},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"G. Kiczales, J. D. Rivi\u00e9res, D. G. Bobrow, The Art of the Metaobject Protocol, MIT Press, 1991.","DOI":"10.7551\/mitpress\/1405.001.0001"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"J.-C. Fabre, T. P\u00e9rennou, \u201cA Metaobject Architecture for Fault Tolerant Distributed Systems: The FRIENDS Approach\u201d, IEEE Trans. on Computers, pp. 78\u201395, 1998.","DOI":"10.1109\/12.656088"},{"issue":"2","key":"22_CR26","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1093\/comjnl\/34.2.173","volume":"34","author":"A. Burns","year":"1991","unstructured":"A. Burns, A. M. Lister, \u201cA Framework for Building Dependable Systems\u201d, The Computer Journal, vol. 34, no. 2, pp. 173\u2013181, 1991.","journal-title":"The Computer Journal"},{"key":"22_CR27","unstructured":"M. Joseph, Real-Time Systems: Specification, Verification and Analysis, Prentice-Hall, 1996."},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"M. Rodr\u03afguez, A. Albinet, J. Arlat, \u201cMAFALDA-RT: A Tool for Dependability Assessment of Real-Time in Proc. Int. Conf. on Dependable Systems and Networks, Washington, DC, USA, pp. 267\u2013272, 2002.","DOI":"10.1109\/DSN.2002.1028909"},{"key":"22_CR29","unstructured":"M. Rodr\u03afguez, J.-C. Fabre and J. Arlat, \u201cAssessment of Real-Time Systems by Fault-Injection\u201d, in Proc. European Safety and Reliability Conference, Lyon, France, pp. 101\u2013108, 2002."},{"key":"22_CR30","doi-asserted-by":"crossref","unstructured":"J. A. Stankovic, M. Spuri, K. Ramamritham, G. C. Buttazzo, Deadline Scheduling for Real-Time Systems: EDF and Related Algorithms, Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-1-4615-5535-3"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing EDCC-4"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36080-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:25:37Z","timestamp":1739993137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36080-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000129","9783540360803"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-36080-8_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}