{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:27Z","timestamp":1750308927143,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T00:00:00Z","timestamp":1096243200000},"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":[],"published-print":{"date-parts":[[2004,9,27]]},"DOI":"10.1145\/1017753.1017782","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"165-174","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Exploiting prescriptive aspects"],"prefix":"10.1145","author":[{"given":"John A.","family":"Stankovic","sequence":"first","affiliation":[{"name":"University of Virginia, Charlottesville, VA"}]},{"given":"Prashant","family":"Nagaraddi","sequence":"additional","affiliation":[{"name":"University of Virginia, Charlottesville, VA"}]},{"given":"Zhendong","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Virginia, Charlottesville, VA"}]},{"given":"Zhimin","family":"He","sequence":"additional","affiliation":[{"name":"University of Virginia, Charlottesville, VA"}]},{"given":"Brian","family":"Ellis","sequence":"additional","affiliation":[{"name":"Boeing, Berkeley, MO"}]}],"member":"320","published-online":{"date-parts":[[2004,9,27]]},"reference":[{"key":"e_1_3_2_1_3_1","volume-title":"Software Components with Ada: Structures, Tools and Subsystems. Benjamin-Cummings","author":"Booch G.","year":"1987","unstructured":"Booch G. ( 1987 ) Software Components with Ada: Structures, Tools and Subsystems. Benjamin-Cummings , Redwood City, CA . Booch G. (1987) Software Components with Ada: Structures, Tools and Subsystems. Benjamin-Cummings, Redwood City, CA."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780751"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008137720322"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383864"},{"key":"e_1_3_2_1_7_1","volume-title":"International Conference on Distributed Computing Systems","author":"Gu Z.","year":"2003","unstructured":"Gu Z. , and Shin K ., ( 2003 ) An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Nets , International Conference on Distributed Computing Systems , Providence, RI. Gu Z., and Shin K., (2003) An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Nets, International Conference on Distributed Computing Systems, Providence, RI."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263734"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776836"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/524958.828338"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1994.302408"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383858"},{"key":"e_1_3_2_1_13_1","volume-title":"A Practitioner's Handbook for Real-Time Analysis -- Guide to Rate Monotonic Analysis for Real-Time Systems","author":"Klein M.","year":"1993","unstructured":"Klein , M. , Ralya , T. , Pollak , B. , Obenza , R. , Harbour , M. G. ( 1993 ) A Practitioner's Handbook for Real-Time Analysis -- Guide to Rate Monotonic Analysis for Real-Time Systems , Kluwer Academic Publishers . Klein, M., Ralya, T., Pollak, B., Obenza, R., Harbour, M. G. (1993) A Practitioner's Handbook for Real-Time Analysis -- Guide to Rate Monotonic Analysis for Real-Time Systems, Kluwer Academic Publishers."},{"key":"e_1_3_2_1_14_1","volume-title":"Workshop on Intelligent Signal Processing","author":"Ledeczi A.","year":"2001","unstructured":"Ledeczi A. , Maroti M. , Bakay A. , Karsai G. , Garrett J. , Thomason IV C. , Nordstrom G. , Sprinkle J. , Volgyesi P. ( 2001 ) The Generic Modeling Environment , Workshop on Intelligent Signal Processing , Budapest, Hungary. Ledeczi A., Maroti M., Bakay A., Karsai G., Garrett J., Thomason IV C., Nordstrom G., Sprinkle J., Volgyesi P. (2001) The Generic Modeling Environment, Workshop on Intelligent Signal Processing, Budapest, Hungary."},{"key":"e_1_3_2_1_15_1","volume-title":"The Component Object Model Specification","author":"Microsoft Corporation and Digital Equipment Corporation","year":"1995","unstructured":"Microsoft Corporation and Digital Equipment Corporation ( 1995 ) The Component Object Model Specification . Redmond, Washington . Microsoft Corporation and Digital Equipment Corporation (1995) The Component Object Model Specification. Redmond, Washington."},{"key":"e_1_3_2_1_16_1","volume-title":"Distributed Component Object Model Protocol, version 1.0","author":"Microsoft Corporation","year":"1998","unstructured":"Microsoft Corporation ( 1998 ) Distributed Component Object Model Protocol, version 1.0 . Redmond, Washington . Microsoft Corporation (1998) Distributed Component Object Model Protocol, version 1.0. Redmond, Washington."},{"key":"e_1_3_2_1_17_1","volume-title":"Revision 2.0, formal document 97-02-25 (http:\/\/www.omg.org).","author":"Object Management Group","year":"1997","unstructured":"Object Management Group ( 1997 ) The Common Object Request Broker: Architecture and Specification , Revision 2.0, formal document 97-02-25 (http:\/\/www.omg.org). Object Management Group (1997) The Common Object Request Broker: Architecture and Specification, Revision 2.0, formal document 97-02-25 (http:\/\/www.omg.org)."},{"volume-title":"Real-Time Systems Symposium.","author":"Palencia J.","key":"e_1_3_2_1_18_1","unstructured":"Palencia , J. and Gonzlez Harbour, M. (1998) Schedulability Analysis for Tasks with Static and Dynamic Offsets , Real-Time Systems Symposium. Palencia, J. and Gonzlez Harbour, M. (1998) Schedulability Analysis for Tasks with Static and Dynamic Offsets, Real-Time Systems Symposium."},{"key":"e_1_3_2_1_19_1","unstructured":"Rational Software Corporation Model Driven Development Using UML: Rational Rose http:\/\/www.rational.com\/media\/products\/rose\/D185F_Rose.pdf.  Rational Software Corporation Model Driven Development Using UML: Rational Rose http:\/\/www.rational.com\/media\/products\/rose\/D185F_Rose.pdf."},{"key":"e_1_3_2_1_20_1","first-page":"347","volume-title":"OSDI","author":"Reid A., M.","year":"2000","unstructured":"Reid , A., M. Flatt , L. Stoller , J. Lepreau , and E. Eide . ( 2000 ) Knit: Component Composition for Systems Software . OSDI 2000, San Diego, Calif. , pp. 347 -- 360 . Reid, A., M. Flatt, L. Stoller, J. Lepreau, and E. Eide. (2000) Knit: Component Composition for Systems Software. OSDI 2000, San Diego, Calif., pp. 347--360."},{"key":"e_1_3_2_1_21_1","volume-title":"EEdesign.","author":"Santarini M","year":"2003","unstructured":"Santarini , M , ( 2003 ) Cadence Says Platform Halves Verification Time , EEdesign. Santarini, M, (2003) Cadence Says Platform Halves Verification Time, EEdesign."},{"key":"e_1_3_2_1_22_1","volume-title":"Component Based Development and Object Modeling. Sterling Software (http:\/\/www.cool.sterling.com)","author":"Short K.","year":"1997","unstructured":"Short K. ( 1997 ) Component Based Development and Object Modeling. Sterling Software (http:\/\/www.cool.sterling.com) . Short K. (1997) Component Based Development and Object Modeling. Sterling Software (http:\/\/www.cool.sterling.com)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/286238.286246"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(97)00165-5"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.1998.739846"},{"key":"e_1_3_2_1_26_1","volume-title":"Real-Time Applications Symposium.","author":"Stankovic J.","year":"2003","unstructured":"Stankovic , J. , Zhu , R. , Poornalingham , R. , Lu , C. , Yu , Z. , Humphrey , M. , and Ellis , B ., ( 2003 ) VEST: An Aspect-Based Composition Tool for Real-Time Systems , Real-Time Applications Symposium. Stankovic, J., Zhu, R., Poornalingham, R., Lu, C., Yu, Z., Humphrey, M., and Ellis, B., (2003) VEST: An Aspect-Based Composition Tool for Real-Time Systems, Real-Time Applications Symposium."},{"key":"e_1_3_2_1_28_1","volume-title":"Component Software Beyond Object-Oriented Programming","author":"Szyperski C.","year":"1998","unstructured":"Szyperski C. ( 1998 ) Component Software Beyond Object-Oriented Programming . Addison-Wesley, ACM Press, New York . Szyperski C. (1998) Component Software Beyond Object-Oriented Programming. Addison-Wesley, ACM Press, New York."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/523993.838011"}],"event":{"name":"EMSOFT04: Fourth ACM International Conference on Embedded Software 2004","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Pisa Italy","acronym":"EMSOFT04"},"container-title":["Proceedings of the 4th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017753.1017782","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1017753.1017782","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:46Z","timestamp":1750282606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017753.1017782"}},"subtitle":["a design time capability"],"short-title":[],"issued":{"date-parts":[[2004,9,27]]},"references-count":26,"alternative-id":["10.1145\/1017753.1017782","10.1145\/1017753"],"URL":"https:\/\/doi.org\/10.1145\/1017753.1017782","relation":{},"subject":[],"published":{"date-parts":[[2004,9,27]]},"assertion":[{"value":"2004-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}