Filters








296 Hits in 6.3 sec

Safe Decomposition of Startup Requirements: Verification and Synthesis [chapter]

Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
<span title="">2020</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In order to safely allow an independent development of components, it is necessary to ensure a safe decomposition, i.e. the specification of local timing requirements that prevent later integration errors  ...  We show how the problems can be naturally translated into a model checking and synthesis problem for timed automata with shared variables.  ...  Conclusions In this paper, we defined verification and synthesis problems of industrial relevance focused on the decomposition of startup requirements into local timing constraints and dependencies on  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-45190-5_9">doi:10.1007/978-3-030-45190-5_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/urastzmup5hcvj6sxbkmd36wse">fatcat:urastzmup5hcvj6sxbkmd36wse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200510152136/https://link.springer.com/content/pdf/10.1007%2F978-3-030-45190-5_9.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/45/17/45173e142ff30fab3adee3527fb3cf560c1e0886.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-030-45190-5_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Adaptive Statistical Method for Power Quality Analysis

O.N. Gerek, D.G. Ece
<span title="">2005</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ezthgawmfbeczntonmx4gfjvtm" style="color: black;">IEEE Transactions on Instrumentation and Measurement</a> </i> &nbsp;
The method is based on the statistical analysis of adaptive decomposition signals.  ...  The combination of an adaptive prediction filter-based subband decomposition structure with a rulebased histogram analysis block produced successful detection and localization results on our real-life  ...  processing is required.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tim.2004.838910">doi:10.1109/tim.2004.838910</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vn72sv4sirhwnmknegomkm3wvm">fatcat:vn72sv4sirhwnmknegomkm3wvm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060528025753/http://www.mm.anadolu.edu.tr:80/~gerek/Research/tranpaper5.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/59/c5/59c5fd41a195eb1f371bec0f0970ad3a278b222b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tim.2004.838910"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution

Huan Xu, Ufuk Topcu, Richard M. Murray
<span title="">2015</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3rnmvpwtdjebhatxivur765gie" style="color: black;">IEEE Transactions on Control of Network Systems</a> </i> &nbsp;
The increasing complexity of electric power systems leads to challenges in integration and verification.  ...  We consider the problem of designing a control protocol for an aircraft electric power system that meets a set of requirements describing the correct behaviors of the system and reacts dynamically to changes  ...  Ozay from the University of Michigan, and R. Poisson and Eelco Scholte from United Technologies Aerospace Systems for their insight and helpful discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcns.2015.2401174">doi:10.1109/tcns.2015.2401174</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yghzmwni6bcelag3b6n7hu4cim">fatcat:yghzmwni6bcelag3b6n7hu4cim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190426223528/https://authors.library.caltech.edu/94223/1/07035090.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/4c/6e/4c6eaf70b07c1b9207917957046ac7713349cc1c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcns.2015.2401174"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Plantbot: A New ROS-based Robot Platform for Fast Building and Developing [article]

Liulong Ma, Yibo Gao, ChuanMing Zhu, Yanjie Liu
<span title="2018-04-08">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
It can be applied to not only fast algorithm verification, but also simple factory inspection and ROS teaching.  ...  What\u2019s more, these robots are not easily redesigned and expanded according to requirements.  ...  (6) and (7) , and the decomposition of the speed from these two equations are: L R R R R R V = x '-θ ' d/2 V = x '+θ ' d/2   (8) So the formulas for the synthesis and decomposition of speed are obtained  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.02687v1">arXiv:1804.02687v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hkrrkiabwnehpcqhcbrkxs7bee">fatcat:hkrrkiabwnehpcqhcbrkxs7bee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200827162940/https://arxiv.org/ftp/arxiv/papers/1804/1804.02687.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/6c/af6c17479af465f701f6027637e494fe28c50c44.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.02687v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Concept of operations for data fusion visualization [chapter]

T McJunkin, R Boring, M McQueen, L Shunn, J Wright, D Gertman, O Linda, K McCarty, M Manic
<span title="2011-08-23">2011</span> <i title="CRC Press"> Advances in Safety, Reliability and Risk Management </i> &nbsp;
With the inclusion of a predictor system in the process control interface, additional design requirements must be considered, including the need to convey uncertainty regarding the prediction and to minimize  ...  Then the repetition and coverage of the operator scan of the display must be considered. The possibility of coercing the operator with cues about what has not scanned recently is an option.  ...  Department of Energy under DOE Idaho Operations Office Contract DE-AC07-05ID14517, performed as part of the Instrumentation, Control, and Intelligent Systems Distinctive Signature (ICIS) of Idaho National  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/b11433-89">doi:10.1201/b11433-89</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5uh66fynybb7firemzfnmzlf7m">fatcat:5uh66fynybb7firemzfnmzlf7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809102119/http://www.people.vcu.edu/~mmanic/papers/2011/ESREL11_McJunkin_Boring_Data_Fusion.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/54/12/5412c8d0d520cf0681622de471f58387047e4eb6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/b11433-89"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Achieving agility and quality in product development - an empirical study of hardware startups

Vebjørn Berg, Jørgen Birkeland, Anh Nguyen-Duc, Ilias O. Pappas, Letizia Jaccheri
<span title="">2020</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;
We proposed an integrative model of agility and quality in hardware startups.  ...  The special context of hardware startups calls for a better understanding of state-of-the-practice of hardware startups' activities.  ...  This is illustrated in Fig. 1 where hardware and related software development are distinct processes requiring constant communication and interconnected testing and verification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2020.110599">doi:10.1016/j.jss.2020.110599</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lmaljllvffcq3owmpjvtjjmjku">fatcat:lmaljllvffcq3owmpjvtjjmjku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201107002053/https://ntnuopen.ntnu.no/ntnu-xmlui/bitstream/handle/11250/2673639/1-s2.0-S0164121220300777-main.pdf?sequence=4" 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/3a/30/3a308b0bc6b10899aaea2d88a20d22ee77b24f7e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2020.110599"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Deduction Beyond Satisfiability (Dagstuhl Seminar 19371)

Carsten Fuhs, Philipp Rümmer, Renate Schmidt, Cesare Tinelli, Michael Wagner
<span title="2020-02-19">2020</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
computation, model counting for propositional or first-order formulas, Boolean or SMT constraint optimization, generation of interpolants, abductive reasoning, and syntax-guided synthesis.  ...  (with relies on model counting), the computation of tight complexity bounds for programs, program synthesis, model checking (where interpolation or abductive reasoning can be used to achieve scale), and  ...  Using Overview of Talks Safe Decomposition of Startup Requirements: Verification and Synthesis Alberto Griggio (Bruno Kessler Foundation -Trento, IT) License Creative Commons BY 3.0 Unported license  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.9.9.23">doi:10.4230/dagrep.9.9.23</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/FuhsRST19.html">dblp:journals/dagstuhl-reports/FuhsRST19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j6moci5zgvgjzgpsqblemwsrlm">fatcat:j6moci5zgvgjzgpsqblemwsrlm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201212041917/https://drops.dagstuhl.de/opus/volltexte/2020/11843/pdf/dagrep_v009_i009_p023_19371.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/da/c6/dac6c704ed21b80ef97b749d1e4ab56d89571883.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.9.9.23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Reliability Assurance of Subsea Production Systems: A Systems Engineering Framework

Sirous Yasseri, Hamid Bahai, Ramin Yasseri
<span title="2018-06-01">2018</span> <i title="Armenian Green Publishing Co."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wlx4j657ergi7gbhts47bar3pe" style="color: black;">International Journal of coastal and offshore engineering</a> </i> &nbsp;
These links relate equipment performance to one or more of the Client's requirements, which helps establish verification and validation testing strategies to enhance reliability and reduce project risk  ...  This framework allows a better understanding of verification settings and strategies to handle constraints (e.g. costs, expandability, repair-ability, maintainability, intervention procedures, downtime  ...  At each level of the system decomposition, requirements are flowed-down and suitable test plans are devised for verifying that the system will satisfy requirements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.29252/ijcoe.2.1.1">doi:10.29252/ijcoe.2.1.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/af5j4h47f5eb7jvsybh7ygunla">fatcat:af5j4h47f5eb7jvsybh7ygunla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200214002612/http://ijcoe.org/article-1-65-en.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/1d/c6/1dc6e1e6493d0d8912bcbf338301dba4bdbb73ac.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.29252/ijcoe.2.1.1"> <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>

Automated chemical synthesis. Part 4: Batch-type reactor automation and real-time software design

Daniel F. Chodosh, Kenneth Kamholz, Sidney H. Levinson, Robert Rhinesmith
<span title="">1986</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/n2mkrm4s2jevjh4mo6qxdtu2ke" style="color: black;">Journal of Automatic Chemistry</a> </i> &nbsp;
required for interfacing to the synthesis apparatus.  ...  The optoisolator interface provides fail-safe default signals to the synthesis apparatus, in the event offailure ofeither the MINC computer hardware or the failure of a software driven watch-dog timer.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/s1463924686000238">doi:10.1155/s1463924686000238</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/18925123">pmid:18925123</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC2547668/">pmcid:PMC2547668</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jiz4gonzg5cgxamiea55gssi7u">fatcat:jiz4gonzg5cgxamiea55gssi7u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200206151121/http://europepmc.org/backend/ptpmcrender.fcgi?accid=PMC2547668&amp;blobtype=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/c6/8c/c68ccd6823502cfa4697fa7839404233c22c73b1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/s1463924686000238"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2547668" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Runtime Programming through Model-Preserving, Scalable Runtime Patches [chapter]

Christoph M. Kirsch, Luís Lopes, Eduardo R. B. Marques, Ana Sokolova
<span title="">2012</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;
, or one that requires an extra level of abstraction.  ...  Scalability means that, for practicality and performance, the effort in program compilation required by a runtime patch should ideally scale in proportion to the change induced by it.  ...  We wish to thank all the anonymous reviewers for their comments on previous versions of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-27269-1_18">doi:10.1007/978-3-642-27269-1_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x25jrzfqlngwncewm6tmvdjhg4">fatcat:x25jrzfqlngwncewm6tmvdjhg4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829140542/http://www.cs.uni-salzburg.at/~ck/content/publications/conferences/ACSD11-RuntimeProgramming.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/ed/9e/ed9e4cc802d3190441d0b2ba8c617d44c031856d.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-27269-1_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Runtime Programming through Model-Preserving, Scalable Runtime Patches

Christoph M. Kirsch, Luis Lopes, Eduardo R.B. Marques, Ana Sokolova
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/plhin5uderc7zn3bmj35wh2oli" style="color: black;">2011 Eleventh International Conference on Application of Concurrency to System Design</a> </i> &nbsp;
, or one that requires an extra level of abstraction.  ...  Scalability means that, for practicality and performance, the effort in program compilation required by a runtime patch should ideally scale in proportion to the change induced by it.  ...  We wish to thank all the anonymous reviewers for their comments on previous versions of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsd.2011.28">doi:10.1109/acsd.2011.28</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acsd/KirschLMS11.html">dblp:conf/acsd/KirschLMS11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wvpxpqfdmnbilkvt6dumd336ku">fatcat:wvpxpqfdmnbilkvt6dumd336ku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829140542/http://www.cs.uni-salzburg.at/~ck/content/publications/conferences/ACSD11-RuntimeProgramming.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/ed/9e/ed9e4cc802d3190441d0b2ba8c617d44c031856d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsd.2011.28"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Asynchronous Design—Part 2: Systems and Methodologies

Steven M. Nowick, Montek Singh
<span title="">2015</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5hh6cgcjefdirnxwv2c2paxm4m" style="color: black;">IEEE design &amp; test</a> </i> &nbsp;
Part 2 focuses on methodologies for designing asynchronous systems, including basics of hazards, synthesis and optimization methods for both logic-level and high-level synthesis, and the development of  ...  h THIS TWO-PART article aims to provide both a short historical and technical overview of asynchronous design, as well as a snapshot of the state of the art.  ...  Acknowledgment The authors appreciate the funding support of the National Science Foundation under Grants CCF-1219013, CCF-0964606, and OCI-1127361.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mdat.2015.2413757">doi:10.1109/mdat.2015.2413757</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bpxnljdkofh6ppyovk6sp4pknm">fatcat:bpxnljdkofh6ppyovk6sp4pknm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170428223243/http://www.cs.columbia.edu:80/~cs4823/handouts/nowick-singh-DT-overview-pt2-16.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/ba/3d/ba3da2a9ef4870c14f2712ff27eb1e353ea3a0af.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mdat.2015.2413757"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa
<span title="">2015</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yfvtieuumfamvmjlc255uckdlm" style="color: black;">Proceedings of the IEEE</a> </i> &nbsp;
We introduce a platform-based design methodology that uses contracts to specify and abstract the components of a cyber-physical system (CPS), and provide formal support to the entire CPS design flow.  ...  We review formalisms and tools that can be used to specify, analyze or synthesize the design at different levels of abstractions.  ...  more recently, synthesis and verification of control algorithms for CPS [14] , [15] , [16] , [17] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jproc.2015.2453253">doi:10.1109/jproc.2015.2453253</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/symvbgghdfar3ey2dbwp3l5vrm">fatcat:symvbgghdfar3ey2dbwp3l5vrm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726141347/https://cloudfront.escholarship.org/dist/prd/content/qt15r8r6k6/qt15r8r6k6.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/b9/e0/b9e053e90ed65b7649860111d09a300299c0b4f6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jproc.2015.2453253"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Model-Integrated Embedded Systems [chapter]

Akos Ledeczi, Arpad Bakay, Miklos Maroti
<span title="">2000</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 paper describes a paradigm-independent, general infrastructure for the design and implementation of model-integrated embedded systems that is highly applicable to self-adaptive systems.  ...  Model-Integrated Computing is a proven technology for designing and implementing complex software systems.  ...  human effort required for development, verification and systems management during the entire life cycle of the system [7] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44584-6_9">doi:10.1007/3-540-44584-6_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/flw4fj3gybg5rjdjrxqgse3i6y">fatcat:flw4fj3gybg5rjdjrxqgse3i6y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810010535/http://www.isis.vanderbilt.edu/sites/default/files/Ledeczi_A_4_0_2000_Model_Inte.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/5c/c5/5cc5e171d4ebd1be667a33c737e4b55b7bd22bf0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44584-6_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

TECHNIQUES FOR ALARM MANAGEMENT WITH FAULT DIAGNOSTIC SYSTEM IN STARTUPS AND SHUTDOWNS FOR INDUSTRIAL PROCESSES

Jhon William Capacho
<span title="2014-03-01">2014</span> <i title="Universidad ECCI"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w3obzrk2w5h6bo5qjg23qdlmc4" style="color: black;">TECCIENCIA</a> </i> &nbsp;
This paper presents a preliminary study of the different techniques that can be used for fault diagnostics in industial processes specially on the startup and shutdown procedures.  ...  of chronicles, and how it can be used on the alarm management in a starting or shutdown plant.  ...  The next analysis could be the use of Chroniques apply to the model for structure a new model that can determinate the good chroniques of the system comparing with the operation on real time of the process  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18180/tecciencia.2014.16.1">doi:10.18180/tecciencia.2014.16.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e2my6i6ojfgnhfbmgrchuccltq">fatcat:e2my6i6ojfgnhfbmgrchuccltq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200324134619/http://www.scielo.org.co/pdf/tecci/v9n16/v9n16a02.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/f4/03/f4032a4651eec8b7b1241f21964363dfdafa972b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18180/tecciencia.2014.16.1"> <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 296 results