Filters








38,157 Hits in 3.7 sec

Testing-Based Compiler Validation for Synchronous Languages [chapter]

Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux
2014 Lecture Notes in Computer Science  
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]

Edward L. Lamie
2019 Real-Time Embedded Multithreading Using ThreadX  
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

A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone
2003 Proceedings of the IEEE  
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

Dmitri Makarov, Matthias Hauswirth
2015 SIGPLAN notices  
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

Dmitri Makarov, Matthias Hauswirth
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015  
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]

Klaus Feske, Georg Heinrich, Berndt Fritzsche, Mark Langer
2002 Lecture Notes in Computer Science  
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]

Gérard Berry
2007 Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems  
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

Alain Girault, S. Ramesh, Jean-Pierre Talpin
2007 EURASIP Journal on Embedded Systems  
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

Alain Girault, S Ramesh, Jean-Pierre Talpin
2007 EURASIP Journal on Embedded Systems  
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

C Traulsen, T Amende, R von Hanxleden
2011 2011 Design, Automation & Test in Europe  
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

Etienne Brodu, Stéphane Frénot, Frédéric Oblé
2015 Proceedings of the 1st Workshop on All-Web Real-Time Systems - AWeS '15  
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]

Mohammed Faci, Luigi Logrippo
1993 Computer Hardware Description Languages and their Applications  
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

Ines Sarray, Annie Ressouche, Sabine Moisan, Jean-Paul Rigault, Daniel Gaffe
2017 2017 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC)  
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

Steven M. Nowick, Montek Singh
2015 IEEE design & test  
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

T. Bogodorova, M. Sabate, G. Leon, L. Vanfretti, M. Halat, J. B. Heyberger, P. Panciatici
2013 IEEE PES ISGT Europe 2013  
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