{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:06Z","timestamp":1750307406725,"version":"3.41.0"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2009,10,1]],"date-time":"2009-10-01T00:00:00Z","timestamp":1254355200000},"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":["SIGBED Rev."],"published-print":{"date-parts":[[2009,10]]},"abstract":"<jats:p>In embedded systems, timing and resource utilization are vital aspects, having impacts on the deployed software. In this paper, an extensible formal framework for modeling of resource usage and adaptability of software components is introduced. The formalism explicitly supports modeling resources of various types and in different ways; and the timing requirements that applications have. The models can be used as a basis for quantitative analysis, and in the extension as a basis for system synthesis. An example of usage of the formalism is given.<\/jats:p>","DOI":"10.1145\/1851340.1851350","type":"journal-article","created":{"date-parts":[[2010,8,31]],"date-time":"2010-08-31T13:05:55Z","timestamp":1283259955000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Using improved resource interfaces to formally describe adaptability in embedded systems"],"prefix":"10.1145","volume":"6","author":[{"given":"Magnus","family":"Persson","sequence":"first","affiliation":[{"name":"KTH (The Royal Institute of Technology), Stockholm, Sweden"}]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[{"name":"KTH (The Royal Institute of Technology), Stockholm, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2009,10]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.ISVCS2008.3551"},{"key":"e_1_2_1_3_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM-RT","author":"Behrmann G.","year":"2004"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92188-2_9"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1214341"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20010507"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","DOI":"10.1007\/b106761","volume-title":"Embedded Systems Design: The ARTIST Roadmap for Research and Development. Number 3436 in LNCS","author":"Bouyssounouse B.","year":"2005"},{"key":"e_1_2_1_8_1","series-title":"LNCS","first-page":"117","volume-title":"Embedded Software (Proc. from Third International Conference EMSOFT)","author":"Chakrabarti A.","year":"2003"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.26"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_9"},{"key":"e_1_2_1_11_1","unstructured":"DySCAS Consortium. DySCAS project website. http:\/\/www.dyscas.org.  DySCAS Consortium. DySCAS project website. http:\/\/www.dyscas.org."},{"key":"e_1_2_1_13_1","first-page":"3737","volume-title":"Proc. of 47th IEEE Conference on Decision and Control (CDC)","author":"Feng L.","year":"2008"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1049\/cce:19970104"},{"volume-title":"Proc. of the INCOSE International Symposium","year":"2008","author":"Josko B.","key":"e_1_2_1_15_1"},{"volume-title":"Proc. of the 3rd International Workshop on Real-Time Networks (RTN'04)","year":"2004","author":"Nolte T.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","unstructured":"Object Management Group (OMG). A UML profile for MARTE: Modeling and analysis of real-time embedded systems.  Object Management Group (OMG). A UML profile for MARTE: Modeling and analysis of real-time embedded systems."},{"volume-title":"Technical report","year":"2009","author":"Persson M.","key":"e_1_2_1_18_1"},{"volume-title":"D3.3 DySCAS demonstrator application and specification. Dyscas project deliverable","year":"2008","author":"S\u00f6derberg J.","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_21_1","unstructured":"UPPAAL. http:\/\/www.uppaal.com.  UPPAAL. http:\/\/www.uppaal.com."}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1851340.1851350","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1851340.1851350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:29Z","timestamp":1750246769000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1851340.1851350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["10.1145\/1851340.1851350"],"URL":"https:\/\/doi.org\/10.1145\/1851340.1851350","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2009,10]]},"assertion":[{"value":"2009-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}