Filters








8,936 Hits in 5.8 sec

Embedded system design with ada as the system design language

Thomas J. Wheeler
<span title="">1981</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kqzhqyka2ffqdlbon77fd6trwm" style="color: black;">Journal of Systems and Software</a> </i> &nbsp;
EMBEDDED SYSTEM DESIGN WITH ADA AS THE SYSTEM-b lU DE1 LANQUAGE(U) ARMY COMMUNICATIONS RESEARCH AND DEVELOPMENT COMMAND FORT MONMOUTH NJ T J WHEELER 1.984  ...  One of the reasons that the Ada language is so Important to the design process is that the Ada language is structured to allow It to be used as a system design language as well as a programming language  ...  Thus Ada as a proaram design language CPDL) enhances the maintainability of the components of a system In an analogous way to the way Ada as a System Design Language enhances the maintainability of the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0164-1212(81)90042-x">doi:10.1016/0164-1212(81)90042-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fhljspgx7fcf3hhsrfia5lubxi">fatcat:fhljspgx7fcf3hhsrfia5lubxi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830081151/http://www.dtic.mil/get-tr-doc/pdf?AD=ADA144232" 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/9e/4e/9e4e4f13c8b90e0c18fb2ec6bd0ed6f7f911e841.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0164-1212(81)90042-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Choosing Appropriate Programming Language to Implement Software for Real-Time Resource- Constrained Embedded Systems [chapter]

Mouaaz Nahas, Adi Maait
<span title="2012-03-02">2012</span> <i title="InTech"> Embedded Systems - Theory and Design Methodology </i> &nbsp;
The research summarized in this paper was partially carried out in the Embedded Systems Laboratory (ESL) at University of Leicester, UK, under the supervision of Professor Michael Pont, to whom the authors  ...  Introduction In embedded systems development, engineers are concerned with both software and hardware aspects of the system.  ...  In the mid-1970s, Smalltalk was introduced with a complete design of an O-O language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/38167">doi:10.5772/38167</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xwvoxkoxyrga5pvnq6svdlywou">fatcat:xwvoxkoxyrga5pvnq6svdlywou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503114910/https://cdn.intechopen.com/pdfs/29215.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/9f/f2/9ff26a6d89200cd9c9fdc89f49fead97fd91084c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/38167"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 22 of University Computing : The Bulletin of the IUCC Vol. 11, Issue 1 [page]

<span title="">1989</span> <i title="John Wiley &amp; Sons, Inc."> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_university-computing-the-bulletin-of-the-iucc" style="color: black;">University Computing : The Bulletin of the IUCC </a> </i> &nbsp;
data structures, often met in one-off engineering problems, or an object-oriented view, where possibly the data structures are more complex as in system programming and embedded systems; a language well  ...  The case for Ada The goal of the United States Department of Defense High Order Language project was to replace the plethora of programming languages used for em- bedded systems with a single language  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_university-computing-the-bulletin-of-the-iucc_1989-03_11_1/page/22" 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_university-computing-the-bulletin-of-the-iucc_1989-03_11_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

System level hardware design and simulation with SystemAda

Negin Mahani, Parnian Mokri, Zainalabedin Navabi
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w7vvkzufhnh6vbey225c6x57re" style="color: black;">Proceedings of IEEE East-West Design &amp; Test Symposium (EWDTS&#39;08)</a> </i> &nbsp;
Ada language has a structure which allows the design of systems to be expressed independently of its implementation and thus can be a good system design language for use with these techniques [1] .  ...  This paper describes how to use Ada as a system description language like SystemC, which will use Ada compilers (such as Gnat) to evaluate the written program as a system; we have named it, SystemAda.  ...  Introduction Along with complex electronic systems, system designers have developed high abstraction level description languages for system modeling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ewdts.2008.5580140">doi:10.1109/ewdts.2008.5580140</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ewdts/MahaniMN08.html">dblp:conf/ewdts/MahaniMN08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hh2cnz443zeujnw4dgktxp7x3y">fatcat:hh2cnz443zeujnw4dgktxp7x3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809031223/http://www.sigada.org/ada_letters/apr2009/SysLHDDSimAda.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/ae/da/aedade06d0fead4d0d505bab92e3530d74622702.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ewdts.2008.5580140"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

System level hardware design and simulation with SystemAda

Negin Mahani, Parnian Mokri, Zainalabedin Navabi
<span title="2009-03-31">2009</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4e3exnwkovej5hdp6shucxw3nq" style="color: black;">ACM SIGAda Ada Letters</a> </i> &nbsp;
Ada language has a structure which allows the design of systems to be expressed independently of its implementation and thus can be a good system design language for use with these techniques [1] .  ...  This paper describes how to use Ada as a system description language like SystemC, which will use Ada compilers (such as Gnat) to evaluate the written program as a system; we have named it, SystemAda.  ...  Introduction Along with complex electronic systems, system designers have developed high abstraction level description languages for system modeling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1541788.1541789">doi:10.1145/1541788.1541789</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/chpcysm2vjh7jov3q5zhzfbih4">fatcat:chpcysm2vjh7jov3q5zhzfbih4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809031223/http://www.sigada.org/ada_letters/apr2009/SysLHDDSimAda.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/ae/da/aedade06d0fead4d0d505bab92e3530d74622702.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1541788.1541789"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Project SPERBER

Erhard Ploedereder
<span title="1984-01-01">1984</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4e3exnwkovej5hdp6shucxw3nq" style="color: black;">ACM SIGAda Ada Letters</a> </i> &nbsp;
It therefore created the High Order language Working Group (HOlWGI and tasked it with the project of designating a single language to become the Common HOl for Embedded Systems.  ...  Apart from the language development. the Ada eHort is also. and more importantly. concerned with the creation of sophisticated software development environments into which the language is to be embedded  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/989954.989960">doi:10.1145/989954.989960</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vy3tw26btnao3iamsahk5sms3a">fatcat:vy3tw26btnao3iamsahk5sms3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200302224857/https://elib.uni-stuttgart.de/bitstream/11682/7387/1/ploe8.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/1b/ea/1beae945d55cab306ef0e7033cbf2f80c3a69290.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/989954.989960"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Concurrent programming in Ada

Ian Mearns
<span title="">1987</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
Low-level programming features in Ada, as they relate to embedded systems, are described in Chapter 12.  ...  Ada tasking model, i.e. the part of the Ada programming language that is concerned with concurrent programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0167-6423(87)90013-x">doi:10.1016/0167-6423(87)90013-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zvqczcdu7zfv5bzvpf6acjazcm">fatcat:zvqczcdu7zfv5bzvpf6acjazcm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190417134812/https://core.ac.uk/download/pdf/82378720.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/fc/60/fc6056c89dfe67dc6e5a0dad2c798083912836f9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0167-6423(87)90013-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Vetronics technology testbed

William Pritchett, Brian Wood
<span title="">2001</span> <i title="ACM Press"> Proceedings of the 2001 annual ACM SIGAda international conference on Ada - SIGAda &#39;01 </i> &nbsp;
The remaining VME chassis is the designated as the command and control vetronics station (C2VS) and uses one Dy-4 179 card to control the embedded simulation and mapping subsystems.  ...  All mixed language issues were resolved early in development. The use of Ada 95 as the main program eliminated any problematic elaboration issues.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/507602.507603">doi:10.1145/507602.507603</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2rcxqsdfibe4jld6dyo6pb3jfu">fatcat:2rcxqsdfibe4jld6dyo6pb3jfu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040108080333/http://www.cs.uni.edu:80/~mccormic/SIGAda2001/Pritchett2.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/57/cc/57cce5270fe8781768f198ee900ba1ddae823d0e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/507602.507603"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Vetronics technology testbed

William Pritchett, Brian Wood
<span title="2001-12-01">2001</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4e3exnwkovej5hdp6shucxw3nq" style="color: black;">ACM SIGAda Ada Letters</a> </i> &nbsp;
The remaining VME chassis is the designated as the command and control vetronics station (C2VS) and uses one Dy-4 179 card to control the embedded simulation and mapping subsystems.  ...  All mixed language issues were resolved early in development. The use of Ada 95 as the main program eliminated any problematic elaboration issues.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/507546.507603">doi:10.1145/507546.507603</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/64cinoxvmnenrfl6244xkmh6hy">fatcat:64cinoxvmnenrfl6244xkmh6hy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040108080333/http://www.cs.uni.edu:80/~mccormic/SIGAda2001/Pritchett2.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/57/cc/57cce5270fe8781768f198ee900ba1ddae823d0e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/507546.507603"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Vetronics technology testbed

William Pritchett, Brian Wood
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dq2nkmeoqjc5bmcalsv7wxzfgq" style="color: black;">Proceedings of the 2001 annual ACM SIGAda international conference on Ada - SIGAda &#39;01</a> </i> &nbsp;
The remaining VME chassis is the designated as the command and control vetronics station (C2VS) and uses one Dy-4 179 card to control the embedded simulation and mapping subsystems.  ...  All mixed language issues were resolved early in development. The use of Ada 95 as the main program eliminated any problematic elaboration issues.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/507574.507603">doi:10.1145/507574.507603</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigada/PritchettW01.html">dblp:conf/sigada/PritchettW01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6qqnmirnuzevtowytm6ladpzfq">fatcat:6qqnmirnuzevtowytm6ladpzfq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040108080333/http://www.cs.uni.edu:80/~mccormic/SIGAda2001/Pritchett2.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/57/cc/57cce5270fe8781768f198ee900ba1ddae823d0e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/507574.507603"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Page 132 of University Computing : The Bulletin of the IUCC Vol. 12, Issue 4 [page]

<span title="">1990</span> <i title="John Wiley &amp; Sons, Inc."> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_university-computing-the-bulletin-of-the-iucc" style="color: black;">University Computing : The Bulletin of the IUCC </a> </i> &nbsp;
with big problems involving embedded systems will need most of the facilities of Ada.  ...  This is unjust because Ada unlike PL// took a lot of care with the design specification of the language.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_university-computing-the-bulletin-of-the-iucc_1990-12_12_4/page/132" 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_university-computing-the-bulletin-of-the-iucc_1990-12_12_4/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

A Platform for Real-Time Control Education with LEGO MINDSTORMS®1

Peter J. Bradley, Juan A. de la Puente, Juan Zamorano, Daniel Brosnan
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p3wtlm3j2fedxitkuu4bs3scau" style="color: black;">IFAC Proceedings Volumes</a> </i> &nbsp;
The tools are being used in a real-time systems course as a basis for student projects.  ...  This approach enables the students to take advantage of the high-level, model-oriented features that Simulink offers for designing control algorithms, and the comprehensive support for concurrency and  ...  Indeed, most control systems are implemented as real-time embedded computer systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20120619-3-ru-2024.00062">doi:10.3182/20120619-3-ru-2024.00062</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hu5vrvhnvjdn7bevh27jdi4k3a">fatcat:hu5vrvhnvjdn7bevh27jdi4k3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810220343/http://oa.upm.es/20410/1/INVE_MEM_2012_134452.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/4b/97/4b97d5d0cd9c036d3d232d90f34b9a03e730b133.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20120619-3-ru-2024.00062"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Real-Time Operating Systems and Programming Languages for Embedded Systems [chapter]

Javier D., Rodrigo M.
<span title="2012-03-02">2012</span> <i title="InTech"> Embedded Systems - Theory and Design Methodology </i> &nbsp;
This chapter offers a road-map for the design of real-time embedded systems evaluating the pros and cons of the different programming languages and operating systems.  ...  hardware architecture, as it is the case of RTSJ. This is undoubtedly a new scenario in the development of embedded real time systems.  ...  This is important when dealing with real-time systems as the language provides the tools to solve a key aspect in the programming of this kind of systems. Ada is used in large scale programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/38571">doi:10.5772/38571</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zzyt3fhttncx5c4a6e3pihneqy">fatcat:zzyt3fhttncx5c4a6e3pihneqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501182811/https://cdn.intechopen.com/pdfs/29205.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/cd/b5/cdb51eaed649ddd85d17f74fb2aa87c979d38575.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/38571"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 12 of Journal of Systems Management Vol. 36, Issue 1 [page]

<span title="">1985</span> <i title="John Carroll University, School of Business"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_journal-of-systems-management" style="color: black;">Journal of Systems Management </a> </i> &nbsp;
The Ada language’® is capable of being used as a design language, in particular, one that allows for the execution of the design in order to model and prototype risk areas and to validate the structure  ...  Several problems exist as to the use of these ap- proaches and languages as design tools.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_journal-of-systems-management_1985-01_36_1/page/12" 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_journal-of-systems-management_1985-01_36_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems

Wafa Gabsi, Bechir Zalila, Jèrôme Hugues
<span title="">2016</span> <i title="Inderscience Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mxvgept2rjgltpdgvkvwyl7ls4" style="color: black;">International Journal of Autonomous and Adaptive Communications Systems</a> </i> &nbsp;
To validate our contribution, we use AADL and its annexes to design a landing gear system as an embedded distributed one.  ...  For that, whatever the taken precautions, the occurrence of faults in such systems is sometimes unavoidable. So, developers have to take into account the presence of faults since the design level.  ...  We use Ocarina to generate the functional code in Ada [16] language, for these reasons: • Ada is adapted to real-time embedded critical systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijaacs.2016.079625">doi:10.1504/ijaacs.2016.079625</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xxgk65cduneltgvh2imz33xxbe">fatcat:xxgk65cduneltgvh2imz33xxbe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180501082116/http://oatao.univ-toulouse.fr/10943/1/Gabsi_10943.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/56/c2/56c23cd5ea4a1797914bcc3e5285d76d09227ec6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijaacs.2016.079625"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 8,936 results