{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T07:24:26Z","timestamp":1714289066183},"reference-count":26,"publisher":"Elsevier","isbn-type":[{"value":"9780080453644","type":"print"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/b978-008045364-4\/50044-7","type":"book-chapter","created":{"date-parts":[[2008,5,2]],"date-time":"2008-05-02T00:03:37Z","timestamp":1209686617000},"page":"24-31","source":"Crossref","is-referenced-by-count":0,"title":["Real-Time Procedures In Distributed Systems"],"prefix":"10.1016","author":[{"given":"M\u00e1rio J.B.","family":"Calha","sequence":"first","affiliation":[]},{"given":"Valter F.","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 A.G.","family":"Fonseca","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-008045364-4\/50044-7_bb0010","article-title":"A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems","author":"Barreto","year":"2004"},{"key":"10.1016\/B978-008045364-4\/50044-7_rf0015","doi-asserted-by":"crossref","DOI":"10.1109\/ITSC.2005.1520055","article-title":"Sensor Fusion for Precise Autonomous Vehicle Navigation in Outdoor Semi-structured Environments","author":"Bento","year":"2005"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0020","series-title":"Benjamin-Cummings","article-title":"Software Engineering with Ada","author":"Booch","year":"1987"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0025","first-page":"4","article-title":"Improving scheduling of control tasks","author":"Cervin","year":"1999"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0030","article-title":"Adapting FTTCAN for the joint dispatching of tasks and messages","author":"Calha","year":"2002"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0035","doi-asserted-by":"crossref","DOI":"10.1016\/S1474-6670(17)32484-9","article-title":"SIMHOL \u2013 A graphical simulator for the joint scheduling of messages and tasks in distributed embedded systems","author":"Calha","year":"2003"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0040","doi-asserted-by":"crossref","DOI":"10.1109\/WFCS.2004.1377666","article-title":"Approaches to the FTT-based scheduling of tasks and messages","author":"Calha","year":"2004"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0045","series-title":"Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA \u201905), Catania, Italy","article-title":"Data streams \u2013 an analysis of the interactions between real-time tasks","author":"Calha","year":"2005"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0050","doi-asserted-by":"crossref","DOI":"10.1109\/WICSA.2001.948416","article-title":"A Highly-Extensible, XML-Based Architecture Description Language","author":"Dashofy","year":"2001"},{"issue":"9","key":"10.1016\/B978-008045364-4\/50044-7_bb0055","doi-asserted-by":"crossref","first-page":"938","DOI":"10.1145\/358234.358262","article-title":"A Software Design Method for Real Time Systems","volume":"27","author":"Gomaa","year":"1984","journal-title":"CACM"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0060","series-title":"System Development","author":"Jackson","year":"1983"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0065","first-page":"876","article-title":"Robust low-level motion-control of WMR with active observers","volume":"vol. 2","author":"Maia","year":"2003"},{"issue":"1","key":"10.1016\/B978-008045364-4\/50044-7_bb0070","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/32.825767","article-title":"A Classification and Comparison Framework for Software Architecture Description Languages","volume":"26","author":"Medidovic","year":"2000","journal-title":"IEEE Transactions on Software Engineering."},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0075","first-page":"389","article-title":"Multi-echo technique for feature detection and identification using simple sonar configurations","volume":"vol. 1","author":"Moita","year":"2001"},{"issue":"3","key":"10.1016\/B978-008045364-4\/50044-7_bb0080","first-page":"148","article-title":"Schedulability verification of real-time systems with extended time Petri nets","volume":"18","author":"Okawa","year":"1996","journal-title":"International Journal of Mini and Microcomputers"},{"issue":"3","key":"10.1016\/B978-008045364-4\/50044-7_bb0085","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1023\/A:1016363605613","article-title":"A Wheelchair steered through voice commands and assisted by a reactive fuzzy-logic Controller","volume":"34","author":"Pires","year":"2002","journal-title":"International Journal of Intelligent and Robotic Systems"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0090","article-title":"The Unified Moddeling Language Reference Manual","author":"Rumbaugh","year":"1998","journal-title":"Addison-Wesley."},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0095","article-title":"A t-time petri net extension for real time-task scheduling modeling","author":"Roux","year":"2002","journal-title":"European Journal of Automation (JESA)."},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0100","series-title":"Open Group White Paper","article-title":"Architecture Description Markup Language (ADML): Creating an Open Market for IT Architecture Tools","author":"Spencer","year":"2000"},{"issue":"1","key":"10.1016\/B978-008045364-4\/50044-7_bb0105","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF02341920","article-title":"Aperiodic task scheduling for hard real-time systems","volume":"1","author":"Sprunt","year":"1989","journal-title":"Journal of Real-Time Systems"},{"issue":"2","key":"10.1016\/B978-008045364-4\/50044-7_bb0110","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.1984.1659053","article-title":"Advanced Real-Time Languages for Distributed Industrial Process Control","volume":"17","author":"Steusloff","year":"1984","journal-title":"IEEE Computer"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0115","series-title":"6th Workshop on Future Trends in Distributed Computing Systems (FT-DCS\u201997).","first-page":"262","article-title":"Time constraint verifications methods based time petri nets","author":"Toussaint","year":"1997"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0120","series-title":"Technical Report","article-title":"A Cursory Overview and Comparison of Four Architecture Description Languages","author":"Vestal","year":"1993"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0125","series-title":"Proc. ITT Conf. on Programming Productivity and Quality","first-page":"198","article-title":"GALILEO: Design Language for Real-Time Systems","author":"Vidondo","year":"1983"},{"key":"10.1016\/B978-008045364-4\/50044-7_bb0130","article-title":"Structured Development for Real-Time Systems","volume":"3 volumes","author":"Ward","year":"1986"},{"issue":"1","key":"10.1016\/B978-008045364-4\/50044-7_bb0135","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1985.1662686","article-title":"Communication Modules: A Software Design Model for Concurrent Distributed Systems","volume":"18","author":"Witt","year":"1985","journal-title":"IEEE Computer"}],"container-title":["Fieldbus Systems and Their Applications 2005"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780080453644500447?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780080453644500447?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T00:58:12Z","timestamp":1557536292000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780080453644500447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780080453644"],"references-count":26,"URL":"https:\/\/doi.org\/10.1016\/b978-008045364-4\/50044-7","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}