Filters








203,651 Hits in 5.4 sec

Formal platform-independent design of real-time systems

A. Sintotski, D.K. Hammer, O. van Roosmalen, J. Hooman
<i title="IEEE Comput. Soc"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2zm4ggc525ejnjqnwf3k4zbp74" style="color: black;">Proceedings 13th Euromicro Conference on Real-Time Systems</a> </i> &nbsp;
A formal approach for the development of real-time control systems is described.  ...  Our development process consists of two phases: the platform-independent phase, which includes specification, programming, and verification, and the second phase, where execution platform considerations  ...  Moreover, specification, programming, and formal verification of the real-time system can be done independently of the execution platform.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/emrts.2001.934023">doi:10.1109/emrts.2001.934023</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecrts/SintoskiHRH01.html">dblp:conf/ecrts/SintoskiHRH01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xynsxrjziret3ow5rgparq4kl4">fatcat:xynsxrjziret3ow5rgparq4kl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20031129013935/http://www.win.tue.nl:80/oas/architecting/papers/platform-independent-development-of-rt-systems1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4f/c7/4fc75ca57caf231d63b00b002134c3d7bf570700.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/emrts.2001.934023"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Model Based Architecting and Construction of Embedded Systems [chapter]

Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This workshop brought together researchers and practitioners interested in model-based software engineering for real-time embedded systems, with a particular focus on the use of architecture description  ...  Three break-out groups discussed the transition from requirements to architecture, design languages, and platform (in)dependence. This report summarises the workshop results.  ...  This workshop was supported by the ARTIST2 Network of Excellence on Embedded Systems Design (http://www.artist-embedded.org) and by the EUREKA-ITEA project SPICES (http://www.spices-itea.org).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-01648-6_1">doi:10.1007/978-3-642-01648-6_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dh3jw4geozeivedtihx5o4hshy">fatcat:dh3jw4geozeivedtihx5o4hshy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170816113616/https://lirias.kuleuven.be/bitstream/123456789/222695/1/2008-ACES-MB-LNCS.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/97/b9/97b9e70afe2eb34d803ca159b5feaed35afaf196.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-01648-6_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Platform-Independent Design for Embedded Real-Time Systems [chapter]

Jinfeng Huang, Jeroen P. M. Voeten, Andre Ventevogel, Leo van Bokhoven
<span title="">2004</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/blxxpaotjfgulpzlgmx3ofvyua" style="color: black;">Languages for System Specification</a> </i> &nbsp;
Finally, a platform-independent approach (POOSL[vdPV97, Gei02] + Rotalumis[vB02]) is introduced to remedy these design problems for embedded real-time systems.  ...  With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems anymore.  ...  The unbounded uncertainty of d t contradicts with the predictability of real-time system behaviour.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/1-4020-7991-5_3">doi:10.1007/1-4020-7991-5_3</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fdl/HuangVVB03.html">dblp:conf/fdl/HuangVVB03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oathxagfvffcvjfrv22xgzjjzi">fatcat:oathxagfvffcvjfrv22xgzjjzi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060927040210/http://www.ics.ele.tue.nl/~svlad/ees5202/publications/pid2003.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a2/48/a248b2eff759793484c7a82629c4ca7b1d3f9701.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/1-4020-7991-5_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The challenge of interoperability

Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep Shukla, Shinichi Shiraishi
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5vn6yyeefbbxtoo3uhwxwjwtme" style="color: black;">Proceedings of the 52nd Annual Design Automation Conference on - DAC &#39;15</a> </i> &nbsp;
The increasing complexity of automotive electronics, the platform, distributed real-time embedded software, and the need for continuous evolution from one generation to the next has necessitated highly  ...  A novel model-based formal integration framework is being developed to enable architecture modeling, timing specification, formal semantics, design by contract and optimization in the system-level design  ...  The real-time requirements, resource usage, etc., for the endto-end system might also be influenced by the properties of the platform.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2744769.2747945">doi:10.1145/2744769.2747945</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dac/YuJTSS15.html">dblp:conf/dac/YuJTSS15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dlsu7o7t4bgebgx7bv4wrlk7z4">fatcat:dlsu7o7t4bgebgx7bv4wrlk7z4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170301145830/http://www.irisa.fr/prive/talpin/papers/dac15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/85/41/85419f74585fbcec69f845ffd9420359cce3b78e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2744769.2747945"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Composable and Predictable MPSoC Design Flow for Multiple Real-Time Applications [chapter]

Seyed-Hosein Attarzadeh-Niaki, Ekrem Altinel, Martijn Koedam, Anca Molnos, Ingo Sander, Kees Goossens
<span title="2016-12-10">2016</span> <i title="Springer International Publishing"> Model-Implementation Fidelity in Cyber Physical System Design </i> &nbsp;
Design of real-time MPSoC systems including multiple applications is challenging because temporal requirements of each application must be respected throughout the entire design flow.  ...  The design flow is demonstrated by a system consisting of two streaming applications where less than half of the design time is dedicated to operating on the integrated system model.  ...  We plan to enrich the flow by supporting additional MoCs such as the Synchronous (SY) MoC for control-oriented behavior and also aim at a mixedcriticality design flow.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-47307-9_6">doi:10.1007/978-3-319-47307-9_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2fu5nuwlkvg37nwjcsroup2uxq">fatcat:2fu5nuwlkvg37nwjcsroup2uxq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922073519/http://kth.diva-portal.org/smash/get/diva2:792346/FULLTEXT01" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/17/e9/17e945cf8b359fed72768bd55c8f1e2db0c8dc40.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-47307-9_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Based on MDA Approach

Lichen Zhang
<span title="2012-03-01">2012</span> <i title="International Academy Publishing (IAP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jr7366lnajgfrhmmgwgrpt3o7u" style="color: black;">Journal of Software</a> </i> &nbsp;
OCL formal language is used to restrict the model in every stages of MDA, and the real-time extension of OCL formal language is made to describe the timing constraints of cyber physical systems.  ...  Aspect-oriented UML models are designed as Platform Independent Models (PIM) for target-platform implementation, which deal with non-functional properties.  ...  of distributed embedded real-time systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4304/jsw.7.3.608-619">doi:10.4304/jsw.7.3.608-619</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u7tsi5jpnfb37pn5xc5simd5mm">fatcat:u7tsi5jpnfb37pn5xc5simd5mm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151210000556/http://ojs.academypublisher.com:80/index.php/jsw/article/viewFile/jsw0703608619/4533" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b9/26/b926e44818ef542b6e8be569435f61c96a377bdc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4304/jsw.7.3.608-619"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Poster: Open source based safe and secure platform for cost-efficient V2X implementations

Mikko Hurskainen
<span title="">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5n465cmhsbgu5lbu4uci3kh3ia" style="color: black;">2014 IEEE Vehicular Networking Conference (VNC)</a> </i> &nbsp;
The architecture presented here utilizes virtualization using real-time enhanced L4Linux and advanced features in new System-on-Chip designs.  ...  The V2X implementations require safe and secure platform. The cost is yet a major concern for both automotive industry and consumers.  ...  Distance based cruise control with multimodal output: The implementation of the cruise control in the Core OS allows it to function independently and in real-time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/vnc.2014.7013323">doi:10.1109/vnc.2014.7013323</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/vnc/Hurskainen14.html">dblp:conf/vnc/Hurskainen14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wazhb74ikrge5kw6kacqvvht5y">fatcat:wazhb74ikrge5kw6kacqvvht5y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829135823/http://link-motion.com/uploads/pdf/open_source_based_safe_and_secure_platform_v08_1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/05/e8/05e8b4d1c6c15ae9de64ef8f46564e1ec9697d32.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/vnc.2014.7013323"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems [chapter]

Gabor Madl, Nikil Dutt
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
First, we present the ALDERIS platform-independent visual language for component-based system development. Second, we demonstrate the use of the ALDERIS language on a helicopter autopilot DRE design.  ...  Unlike most modeling languages, ALDERIS has formally defined semantics providing a way for the formal verification of dense real-time properties and energy consumption.  ...  ALDERIS provides a way for the design-time formal verification of system models as well as automated simulation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11796435_8">doi:10.1007/11796435_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lgsnxy3fgnfkbcqr26cvzkkkiy">fatcat:lgsnxy3fgnfkbcqr26cvzkkkiy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120129031958/http://www.ics.uci.edu/~gabe/papers/MD_SAMOS_2006.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/24/2f/242f3dfd3b604fd1f1c2c826ae7b684146a2ad42.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11796435_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures

Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar
<span title="">2016</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lxfdtuyn4nhhtevm3datmysrpa" style="color: black;">IEEE Transactions on Industrial Informatics</a> </i> &nbsp;
As a result, a timed behavioral model of a system can be seamlessly refined by various resource configurations and both platform-independent and platform-dependent timing properties of real-time systems  ...  This paper introduces an engineering awareness environment for the analysis of automotive systems with respect to two perspectives: 1) Time-aware design models which correspond to the supplier perspective  ...  Thus, our platform-independent SA model is more applicable. Analogous to Paul's work [19] , our approach deals with timing properties of functionality of real-time systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tii.2016.2527624">doi:10.1109/tii.2016.2527624</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3mkoakkr4bhy3kl3yhasvgzpdu">fatcat:3mkoakkr4bhy3kl3yhasvgzpdu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190303051256/http://pdfs.semanticscholar.org/afdc/143b50fe0bc6b91d5edf55adbdbd60e981f9.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/af/dc/afdc143b50fe0bc6b91d5edf55adbdbd60e981f9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tii.2016.2527624"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Embedded Control Systems Development with Giotto

Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6dcohyzfhveypik7x4entpurlu" style="color: black;">Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems - LCTES &#39;01</a> </i> &nbsp;
Giotto supports the automation of control system design by strictly separating platform-independent functionality and timing concerns from platform-dependent scheduling and communication issues.  ...  Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks.  ...  We thank Edward Lee and Xiaojun Liu for help with a Ptolemy II [DGH + 99] implementation of Giotto.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/384197.384208">doi:10.1145/384197.384208</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/lctrts/HenzingerHK01.html">dblp:conf/lctrts/HenzingerHK01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xy3gn6bl7vcddkxhytwis6jycy">fatcat:xy3gn6bl7vcddkxhytwis6jycy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809035815/https://www.cs.indiana.edu/classes/p545-sjoh/post/read/HenzingerHorowitzKirsch01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/47/8a/478a3211f6c152ecc4bf43c3311ced68d2ef2dea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/384197.384208"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Embedded Control Systems Development with Giotto

Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
<span title="">2001</span> <i title="ACM Press"> Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems - OM &#39;01 </i> &nbsp;
Giotto supports the automation of control system design by strictly separating platform-independent functionality and timing concerns from platform-dependent scheduling and communication issues.  ...  Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks.  ...  We thank Edward Lee and Xiaojun Liu for help with a Ptolemy II [DGH + 99] implementation of Giotto.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/384198.384208">doi:10.1145/384198.384208</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6twnxkeg5jgl7l7d7hx2sc2lue">fatcat:6twnxkeg5jgl7l7d7hx2sc2lue</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809035815/https://www.cs.indiana.edu/classes/p545-sjoh/post/read/HenzingerHorowitzKirsch01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/47/8a/478a3211f6c152ecc4bf43c3311ced68d2ef2dea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/384198.384208"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Embedded Control Systems Development with Giotto

Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
<span title="2001-08-01">2001</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Giotto supports the automation of control system design by strictly separating platform-independent functionality and timing concerns from platform-dependent scheduling and communication issues.  ...  Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks.  ...  We thank Edward Lee and Xiaojun Liu for help with a Ptolemy II [DGH + 99] implementation of Giotto.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/384196.384208">doi:10.1145/384196.384208</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3id3cuyx4feengcir34osloegi">fatcat:3id3cuyx4feengcir34osloegi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809035815/https://www.cs.indiana.edu/classes/p545-sjoh/post/read/HenzingerHorowitzKirsch01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/47/8a/478a3211f6c152ecc4bf43c3311ced68d2ef2dea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/384196.384208"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Embedded Control Systems Development with Giotto [chapter]

Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
<span title="2004-11-30">2004</span> <i title="John Wiley &amp; Sons, Inc."> Software-Enabled Control </i> &nbsp;
Giotto supports the automation of control system design by strictly separating platform-independent functionality and timing concerns from platform-dependent scheduling and communication issues.  ...  Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks.  ...  We thank Edward Lee and Xiaojun Liu for help with a Ptolemy II [DGH + 99] implementation of Giotto.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/047172288x.ch8">doi:10.1002/047172288x.ch8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oobpwuwckvd23j6e733e6z5pw4">fatcat:oobpwuwckvd23j6e733e6z5pw4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809035815/https://www.cs.indiana.edu/classes/p545-sjoh/post/read/HenzingerHorowitzKirsch01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/47/8a/478a3211f6c152ecc4bf43c3311ced68d2ef2dea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/047172288x.ch8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Accounting for platform effects in the design of real-time software using model-based methods

B. Selic
<span title="">2008</span> <i title="IBM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kj3pclsbb5d3xpd5kqlzmvxa54" style="color: black;">IBM Systems Journal</a> </i> &nbsp;
real-time systems.  ...  Accounting for platform effects in the design of real-time software using model-based methods All too often, software designers ignore the fact that a running computer system is a combination of software  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1147/sj.472.0309">doi:10.1147/sj.472.0309</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/seulqs76kza7dpc4xmcwk2764y">fatcat:seulqs76kza7dpc4xmcwk2764y</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_ibm-systems-journal_april-june-2008_47_2/page/309" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_ibm-systems-journal_april-june-2008_47_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1147/sj.472.0309"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Middleware-based distributed systems software process

Liu Jingyong, Zhong Yong, Chen Yong, Zhang Lichen
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cr43vh2dabhdzje3lqlcsmcfli" style="color: black;">Proceedings of the 2009 International Conference on Hybrid Information Technology - ICHIT &#39;09</a> </i> &nbsp;
life-cycle of middlewaremediated applications. 29 design.  ...  Doing so would in fact contradict the design goals of middleware, which aim to make them broadly applicable to a wide range of domains, i.e., general purpose. 30 illustrated on a producer/consumer system  ...  The CORBA platform is independent of operating systems and programming languages.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1644993.1645058">doi:10.1145/1644993.1645058</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ichit/JingyongYYL09.html">dblp:conf/ichit/JingyongYYL09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s5mjh6rotfdq3gdunitkwnf2ge">fatcat:s5mjh6rotfdq3gdunitkwnf2ge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808095631/http://www.sersc.org/journals/IJAST/vol13/3.pdf?origin=publication_detail" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/53/f9/53f9e8dedd8290147d7accc86fd7cea0dbded1f2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1644993.1645058"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 203,651 results