A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Testing-Based Compiler Validation for Synchronous Languages
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
In this paper we present a novel lightweight approach to validate compilers for synchronous languages. ...
Instead of verifying a compiler for all input programs or providing a fixed suite of regression tests, we extend the compiler to generate a test-suite with high behavioral coverage and geared towards discovery ...
We build our validating compiler upon specification-based testing, which we augment with a method for generating test cases targeting potential bugs in a compiler. ...
doi:10.1007/978-3-319-06200-6_19
fatcat:qxliewn5pbbitpjyjzecvrdrrm
Embedded and Real-time Systems
[chapter]
2019
Real-Time Embedded Multithreading Using ThreadX
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
A test case is any well-defined, sequential C program; for each test case, cmmtest: 1. compiles the program using the compiler and compiler optimisations that are being tested; 2. runs the compiled program ...
Synchronous languages, type and clock inference, causality analysis, compilation Lucid Synchrone is a language for the implementation of reactive systems. ...
doi:10.1201/9780429187575-1
fatcat:ngrbtza47bhrdmlrbn2xdhg5de
The synchronous languages 12 years later
2003
Proceedings of the IEEE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. ...
Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. ...
The quality of the test suite therefore determines the quality of the validation. ...
doi:10.1109/jproc.2002.805826
fatcat:pdjbogxbovgvnc27ijgbch47aa
CLOP: a multi-stage compiler to seamlessly embed heterogeneous code
2015
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The CLOP compiler uses the standard facilities of the D programming language to generate code strictly at compile-time. ...
In this paper we describe the CLOP language and the CLOP compiler implementation. ...
This rule combined with the support for unit tests in D allows us to debug the CLOP compiler efficiently by writing unit tests for the CLOP compiler internal functions and running the tests as executable ...
doi:10.1145/2936314.2814211
fatcat:6msodeatrjcspkasbqeqctp3oq
CLOP: a multi-stage compiler to seamlessly embed heterogeneous code
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The CLOP compiler uses the standard facilities of the D programming language to generate code strictly at compile-time. ...
In this paper we describe the CLOP language and the CLOP compiler implementation. ...
This rule combined with the support for unit tests in D allows us to debug the CLOP compiler efficiently by writing unit tests for the CLOP compiler internal functions and running the tests as executable ...
doi:10.1145/2814204.2814211
dblp:conf/gpce/MakarovH15
fatcat:ok7isldn35bk3hbl6p65hug7aa
SoC Based Low Cost Design of Digital Audio Broadcasting Transport Network Applications
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
In order to enhance efficiency in designing Digital Audio Broadcasting (DAB) transport network applications we combine Protocol Compiler-based high level design methods with the Atmel System Designer SoC ...
Experimental results and conclusions concerning the efficiency of design and validation are given. ...
Döring, FhG IIS, for fruitful discussions. This work has been partially supported by the DFG Project SFB 358. ...
doi:10.1007/3-540-46117-5_118
fatcat:wmp7l46mrnfphm6qtauuxesp6y
SCADE: Synchronous Design and Validation of Embedded Control Software
[chapter]
2007
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We describe the SCADE synchronous approach to modelbased embedded software design, validation, and implementation for avionics, automotive, railway, and industry applications. ...
The SCADE KCG compiler is certified at the highest level of avionics certification, which suppresses the need for generated code unit testing. ...
Colaço who is the main Scade semantics and compiler architect, and the whole SCADE team. ...
doi:10.1007/978-1-4020-6254-4_2
fatcat:r5krrlpycbaltlyexzhvzjem2u
Synchronous Paradigm in Embedded Systems
2007
EURASIP Journal on Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Synchronous languages were introduced in the 1980s for programing reactive systems. ...
Synchronous languages have recently seen a tremendous interest from leading companies developing automatic control software and hardware for critical applications. ...
In the paper "Array iterators in lustre: from a language extension to its exploitation in validation," by L. ...
doi:10.1155/2007/32903
fatcat:5tobaykanjcsdodpr3g3v2tr2i
Synchronous Paradigm in Embedded Systems
2007
EURASIP Journal on Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Synchronous languages were introduced in the 1980s for programing reactive systems. ...
Synchronous languages have recently seen a tremendous interest from leading companies developing automatic control software and hardware for critical applications. ...
In the paper "Array iterators in lustre: from a language extension to its exploitation in validation," by L. ...
doi:10.1186/1687-3963-2007-032903
fatcat:oxzuth537rafbosbijo2lal6fu
Compiling SyncCharts to Synchronous C
2011
2011 Design, Automation & Test in Europe
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The compilation preserves the structure of the original SyncChart, which is advantageous for validation and possibly certification. ...
This paper presents an alternative software synthesis approach for SyncCharts that compiles SyncCharts directly into Synchronous C (SC). ...
For the validation of the compiler we compare the behavior synthesized code to the behavior of SyncCharts in E-Studio. ...
doi:10.1109/date.2011.5763284
dblp:conf/date/TraulsenAH11
fatcat:ynwvclkgdfgjjohkgwacc2fhgq
Toward automatic update from callbacks to promises
2015
Proceedings of the 1st Workshop on All-Web Real-Time Systems - AWeS '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Javascript is the prevalent scripting language for the web. It lets web pages register callbacks to react to user events. ...
We evaluate our compiler over 64 npm packages, 9 of them present compatible callbacks and compile successfully. ...
We refine further the selection to projects using the test frameworks mocha in its default configuration. We use these tests to validate the compiler. The test set contains 64 projects. ...
doi:10.1145/2749215.2749216
dblp:conf/eurosys/BroduFO15
fatcat:pcwhuwemp5aixbbo64ju4fbkii
SPECIFYING HARDWARE SYSTEMS IN LOTOS
[chapter]
1993
Computer Hardware Description Languages and their Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
LOTOS, the Language Of Temporal Ordering Specifications, is a language that has been conceived in the framework of Open Systems Interconnection (OSI) standardization as a tool for the formal description ...
This paper reports on some initial results in using LOTOS as a hardware description language. ...
Other languages which support the multiway synchronization include CIRCAL [Miln91] , a language for hardware specification, which predates and shares many of its concepts with CCS and CSP. ...
doi:10.1016/b978-0-444-81641-2.50028-9
fatcat:xrb6v33fnze6zkgyabe3uyz6v4
An activity description language for activity recognition
2017
2017 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Relying on the synchronous approach, we supply our language with two complementary formal semantics and we provide it with two formats: textual and graphical. ...
In this paper, we present a new language dedicated to end users, to describe their activities. We call it ADeL (Activity Description Language). ...
COMPILATION AND VALIDATION We rely on the equational semantics to compile ADeL programs. ...
doi:10.1109/iintec.2017.8325935
dblp:conf/iintec/SarrayRMRG17
fatcat:ar45zjj56jh5vbuvbthivdvy64
Asynchronous Design—Part 2: Systems and Methodologies
2015
IEEE design & test
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
specification languages and CAD tool flows. ...
Finally, two sidebars provide a summary of asynchronous processors and architectures, as well as testing. ...
synchronous fl ow (i.e. over 99% stuck-at fault coverage). 5 Philips used an alternative asynchronous design-for-testability strategy, based on I DDQ testing, to detect bridging faults. 6 While full-scan ...
doi:10.1109/mdat.2015.2413757
fatcat:bpxnljdkofh6ppyovk6sp4pknm
A modelica power system library for phasor time-domain simulation
2013
IEEE PES ISGT Europe 2013
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This article describes the Power Systems library, and the software-to-software validation carried out for the implemented component as well as the validation of small-scale power system models constructed ...
One of the main goals of the FP7 iTesla project [1] is to perform model validation, for which, a modelling and simulation environment that provides model transparency and extensibility is necessary. 1 ...
Obtaining the same results for the time-simulations performed in the two different environments demonstrates high accuracy of models built using Modelica and validity of choice of the equation-based language ...
doi:10.1109/isgteurope.2013.6695422
dblp:conf/isgteurope/BogodorovaSLVHHP13
fatcat:s3vtomqkozh7tigfc4hizfm7vq
« Previous
Showing results 1 — 15 out of 38,157 results