{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:09Z","timestamp":1725664809082},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:09:55Z","timestamp":1330294195000},"page":"440-458","source":"Crossref","is-referenced-by-count":8,"title":["Formal analysis of a real-time kernel specification"],"prefix":"10.1007","author":[{"given":"Simon","family":"Fowler","sequence":"first","affiliation":[]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. J. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, pages 284\u2013292, September 1993.","DOI":"10.1049\/sej.1993.0034"},{"key":"25_CR2","unstructured":"Ada 95 Language Reference Manual. Intermetrics Inc., 1995. ISO\/IEC 8652:1995."},{"key":"25_CR3","unstructured":"W. R. Bevier. Kit: A study in operating system verification. Technical Report 28, Computational Logic Inc., 1988."},{"issue":"4","key":"25_CR4","first-page":"160","volume":"12","author":"A. Burns","year":"1991","unstructured":"A. Burns and A. J. Wellings. Specifying an Ada tasking run-time support system. Ada User, 12(4):160\u2013186, December 1991.","journal-title":"Ada User"},{"key":"25_CR5","unstructured":"A. Burns and A. J. Wellings. Concurrency in Ada. Cambridge University Press, 1995."},{"key":"25_CR6","unstructured":"J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas. A tutorial introduction to PVS. In WIFT '95: Workshop on Industrial-strength Formal Specification Techniques, Boca Raton, Florida, April 1995."},{"key":"25_CR7","unstructured":"C. Fidge, P. Kearney, and M. Utting. Formal specification and interactive proof of a simple real-time scheduler. Technical Report 94-11, Department of Computer Science, University of Queensland, April 1994."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"S. Fowler. Formal analysis of a real-time kernel specification. Technical Report YCS 265, Department of Computer Science, University of York, 1996.","DOI":"10.1007\/3-540-61648-9_55"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"J. Gorski and A. Wardzinski. Formal specification and verification of a real-time kernel. In Proceedings of the 6th Euromicro Workshop on Real-Time Systems, pages 205\u2013211, 1994.","DOI":"10.1109\/EMWRTS.1994.336841"},{"issue":"9","key":"25_CR10","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A. K. Mok. Safety analysis of timing properties in realtime systems. IEEE Transactions on Software Engineering, 12(9):890\u2013904, September 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR11","unstructured":"C. B. Jones. Systematic Software Development using VDM. Prentice-Hall Int'l, 1990."},{"issue":"1","key":"25_CR12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Jounral of the ACM, 20(1):46\u201361, 1973.","journal-title":"Jounral of the ACM"},{"key":"25_CR13","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall Int'l, 1989."},{"issue":"5","key":"25_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/52.57889","volume":"7","author":"J. M. Spivey","year":"1990","unstructured":"J. M. Spivey. Specifying a real-time kernel. IEEE Software, 7(5):21\u201328, September 1990.","journal-title":"IEEE Software"},{"key":"25_CR15","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: an approach to real-time synchronisation. In IEEE Transactions on Computers, volume 39, pages 1175\u20131185. 1990.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR16","unstructured":"R. M. Tol. Formal Design of a Real-Time Operating System Kernel. PhD thesis, University of Groningen, 1995."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:07Z","timestamp":1605647347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}