{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:56:09Z","timestamp":1725537369474},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642045530"},{"type":"electronic","value":"9783642045547"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04554-7_2","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T18:11:16Z","timestamp":1252951876000},"page":"19-33","source":"Crossref","is-referenced-by-count":6,"title":["Energy-Aware System Design with SDL"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Gotzhein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Kr\u00e4mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar","family":"Litz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Chamaken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"2_CR1","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S1389-1286(01)00302-4","volume":"38","author":"I.F. Akyildiz","year":"2002","unstructured":"Akyildiz, I.F., Sankarasubramaniam, Y., Cayirci, E.: Wireless Sensor Networks: A Survey. Computer Networks\u00a038(4), 393\u2013422 (2002)","journal-title":"Computer Networks"},{"key":"2_CR2","doi-asserted-by":"publisher","DOI":"10.1002\/0470091126","volume-title":"Ad Hoc Wireless Networks: A Communication-theoretic Perspective","author":"O.K. Tonguz","year":"2006","unstructured":"Tonguz, O.K., Ferrari, G.: Ad Hoc Wireless Networks: A Communication-theoretic Perspective. John Wiley & Sons, Chichester (2006)"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/87.998034","volume":"10","author":"G.C. Walsh","year":"2002","unstructured":"Walsh, G.C., Ye, H., Bushnell, L.: Stability Analysis of Networked Control Systems. IEEE Transactions on Control Systems Technology\u00a010(3), 438\u2013445 (2002)","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"2_CR4","unstructured":"International Telecommunications Union: Recommendation Z.100(11\/07), Specification and Description Language (SDL), http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"2_CR5","unstructured":"Object Management Group (OMG): Unified Modeling Language (UML), http:\/\/www.uml.org"},{"key":"2_CR6","unstructured":"Crossbow: Datasheet, http:\/\/xbow.com\/Products\/Product_pdf_files\/Wireless_pdf\/Imote2_Datasheet.pdf"},{"issue":"12","key":"2_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/MC.2003.1250886","volume":"36","author":"R. Rao","year":"2003","unstructured":"Rao, R., Vrudhula, S., Rakhmatov, D.N.: Battery modeling for energy aware system design. Computer\u00a036(12), 77\u201387 (2003)","journal-title":"Computer"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/605459.605461","volume":"2","author":"L. Benini","year":"2003","unstructured":"Benini, L., Macii, A., Poncino, M.: Energy-aware design of embedded memories: A survey of technologies, architectures, and optimization techniques. ACM Transaction on Embedded Computing Systems\u00a02(1), 5\u201332 (2003)","journal-title":"ACM Transaction on Embedded Computing Systems"},{"issue":"5","key":"2_CR9","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1109\/TC.2004.1275298","volume":"53","author":"H. Aydin","year":"2004","unstructured":"Aydin, H., Melhem, R., Mosse, D., Majia-Alvarez, P.: Power-aware scheduling for periodic real-time tasks. IEEE Transactions on Computers\u00a053(5), 584\u2013600 (2004)","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Herczeg, Z., Schmidt, D., Kiss, A., Wehn, N., Gyimothy, T.: Energy Simulation of Embedded XScale Systems with XEEMU. Journal of Embedded Computing, Special Issue\u00a03(3) (2009)","DOI":"10.3233\/JEC-2009-0093"},{"key":"2_CR11","unstructured":"Ye, W., Heidemann, J.S., Estrin, D.: An energy-efficient MAC protocol for wireless sensor networks. In: Proceedings IEEE INFOCOM 2002, pp. 1567\u20131576 (2002)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Du, S., Saha, A.K., Johnson, D.B.: RMAC: A Routing-Enhanced Duty-Cycle MAC Protocol for Wireless Sensor Networks. In: Proceedings IEEE INFOCOM 2007, pp. 1478\u20131486 (2007)","DOI":"10.1109\/INFCOM.2007.174"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.adhoc.2003.09.010","volume":"3","author":"K. Akkaya","year":"2005","unstructured":"Akkaya, K., Younis, M.: A Survey on Routing Protocols for Wireless Sensor Networks. Ad Hoc Networks (Elsevier)\u00a03(3), 325\u2013349 (2005)","journal-title":"Ad Hoc Networks (Elsevier)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/11572961_2","volume-title":"Advances in Computer Systems Architecture","author":"A. Mohsen","year":"2005","unstructured":"Mohsen, A., Hofmann, R.: Efficient Voltage Scheduling and Energy-aware Co-synthesis for Real-time Embedded Systems. In: Srikanthan, T., Xue, J., Chang, C.-H. (eds.) ACSAC 2005. LNCS, vol.\u00a03740, pp. 3\u201314. Springer, Heidelberg (2005)"},{"key":"2_CR15","unstructured":"Telelogic AB: Telelogic Tau Generation 1 - SDL Tau Suite, http:\/\/www.telelogic.com\/products\/tau\/"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11951148_14","volume-title":"System Analysis and Modeling: Language Profiles","author":"I. Fliege","year":"2006","unstructured":"Fliege, I., Grammes, R., Weber, C.: ConTraST - A Configurable SDL Transpiler and Runtime Environment. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol.\u00a04320, pp. 216\u2013228. Springer, Heidelberg (2006)"},{"key":"2_CR17","unstructured":"Intel: PXA27x Documents, http:\/\/int.xscale-freak.com\/XSDoc\/PXA27X\/PXA27X_index.htm"},{"key":"2_CR18","unstructured":"Yale School of Engineering & Applied Science: Power Modes and Energy Consumption for the iMote2 Sensor Node. Technical report, Enalab, http:\/\/enaweb.eng.yale.edu\/drupal\/system\/files\/imote2_power.pdf"},{"key":"2_CR19","unstructured":"Chipcon \/ Texas Instruments: CC2420 datasheet, http:\/\/focus.ti.com\/lit\/ds\/symlink\/cc2420.pdf"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/S1389-1286(03)00247-0","volume":"42","author":"U. Gl\u00e4sser","year":"2003","unstructured":"Gl\u00e4sser, U., Gotzhein, R., Prinz, A.: The Formal Semantics of SDL-2000 - Status and Perspectives. Computer Networks\u00a042(3), 343\u2013358 (2003)","journal-title":"Computer Networks"},{"key":"2_CR21","unstructured":"ITU-T Recommendation Z.100 Annex F (11\/00), SDL Formal Definition, http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11880240_7","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Kuhn","year":"2006","unstructured":"Kuhn, T., Gotzhein, R., Webel, C.: Model-Driven Development with SDL - Process, Tools, and Experiences. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 83\u201397. Springer, Heidelberg (2006)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Gabel, O., Litz, L.: NCS Testbed for Ambient Intelligence. In: Proceedings of the IEEE SMC Conference, pp. 115\u2013120 (2005)","DOI":"10.1109\/ICSMC.2005.1571131"}],"container-title":["Lecture Notes in Computer Science","SDL 2009: Design for Motes and Mobiles"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04554-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T05:13:32Z","timestamp":1590124412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04554-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045530","9783642045547"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04554-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}