253 Hits in 1.4 sec

A Multi-Rate Precision Timed Programming Language for Multi-Cores

Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip
2019 2019 Forum for Specification and Design Languages (FDL)  
PREcision Timed (PRET) is a conceptual solution proposed in 2007 to address the ever increasing unpredictability of embedded processors, which results from features such as multi-level caches or deep pipelines. For many real-time systems, it is mandatory to compute a strict bound on the program's execution time. Yet, in general, computing a tight bound is extremely difficult. The rationale of PRET is to simplify both the programming language and the execution platform to allow precise execution
more » ... times to be easily computed. ForeC is a PRET programming language. It is a multithreaded variant of C with a synchronous execution semantics. ForeC programs are designed to be executed on multi-core processors, built around either PRET cores or classical cores. A drawback of ForeC is that programs are single rate, i.e., all reactions must be implemented to run at the fastest rate imposed by the environment. This represents a high overhead, both at design time and at run-time. In this paper, we propose a multi-rate version of ForeC to improve its practicality and usability for industrial acceptance. We detail the syntax and semantics of the ForeC language in the context of multi-rate applications and present an implementation on a PRET multi-core architecture. Both the languages and its implementation are illustrated over a robotic application.
doi:10.1109/fdl.2019.8876950 dblp:conf/fdl/GiraultHJY19 fatcat:hi3a777wezb3fltl563ipzacbu

A model-driven approach for embedded system prototyping and design

Nicolas Hili, Christian Fabre, Sophie Dupuy-Chessa, Dominique Rieu
2014 2014 25nd IEEE International Symposium on Rapid System Prototyping  
Embedded System (ES) development complexity is increasing. This increase has several cumulative sources: some are directly related to constraints on the ES themselves (dependability, compute intensive, resource constraints) while other sources are related to the industrial context of their development (fast prototyping, early validation, parallelization of developments). Although several Model-Driven Engineering (MDE) processes have been proposed for ES development, most of them are not
more » ... ly formalized. This has several drawbacks that prevent their use in prototyping where iterations need to be short and focused. Incomplete formalized processes tend to be sidestepped in these situations where quick results are expected to be obtained with limited effort. In this paper we propose a MDE-based process for ES development. This process precisely defines the development tasks and their impact on the models throughout development. In particular we define iterations width and depth for the process that allow for a fined-grained and consistent planning of developments. The short and well defined iterations characterized by the process reduce the gap between rapid prototyping, ad-hoc methods and regular development processes.
doi:10.1109/rsp.2014.6966688 dblp:conf/rsp/HiliFDR14 fatcat:snfhfdwpzjblpcar3q4kk5577a

Innovative key features for mastering model complexity

Nicolas Hili, Yann Laurillau, Sophie Dupuy-Chessa, Gaëlle Calvary
2015 Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '15  
The risks of innovative activities represent complex diversified concept. In order to successfully operate in risky environment, company employees need to posses deep comprehensive economic knowledge. The relevance of this paper is associated with the need to identify and manage the risks of company innovative activities as an effective process of creating a favorable economic and industrial environment for the organization, providing Russian companies to enter the innovative market. Nowadays,
more » ... he importance of company innovative risk management is continuously increasing, as it has an influence on providing the enterprise leadership position, increasing its competitiveness in the domestic and international markets, as well as contributing to the economic and industrial potentials required to implement the strategy of innovative development of the country as a whole.
doi:10.1145/2774225.2775439 dblp:conf/eics/HiliLDC15 fatcat:g5snuievxfdbjc4436ikhmqc3u

A Power Consumption Estimation Approach for Embedded Software Design Using Trace Analysis

Yassine Ben Atitallah, Julien Mottin, Nicolas Hili, Thomas Ducroux, Guillaume Godet-Bar
2015 2015 41st Euromicro Conference on Software Engineering and Advanced Applications  
With the explosion of advanced power control knobs such as dynamic voltage frequency scaling, mastering energy constraints in embedded systems is becoming challenging for software developers. Several power estimation techniques have been proposed over the past years, from electrical level to more abstract models such as SystemC/TLM. They offer various tradeoffs between performance and accuracy, but suffer from a number of shortcomings. They are expensive and time-consuming, requiring intricate
more » ... odels of the architecture and finally, fail to be applied from the software developer perspective. In this paper, we propose a lightweight and cost-effective approach suitable for software developers. It relies on trace analysis and high-level modeling of architectures to perform quick and efficient power consumption estimations without loosing accuracy. This approach is fully supported by a tool and is validated using a simple thermal mitigation case study and checked against physical measurements. We show that, for our case study, the relative error between our tool and real values is 8% in average.
doi:10.1109/seaa.2015.34 dblp:conf/euromicro/AtitallahMHDG15 fatcat:jztvi5kd6na2dojk47gicmx3ou

Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages

Nicolas Hili, Alain Girault, Eric Jenn
2019 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)  
In this paper, we propose a new approach for the predictability and optimality of the inter-core communication and execution of tasks allocated on different cores of multicore architectures. Our approach is based on the execution of synchronous programs written in the ForeC programming language on deterministic architectures called PREcision Timed. The originality of the work resides in the time-triggered model of computation and communication that allows for a very precise control over the
more » ... ad execution. Synchronization is done via configurable Time Division Multiple Access (TDMA) arbitrations where the optimal size and offset of the time slots are computed to reduce the inter-core synchronization costs. We implemented a robotic application and simulated it using MORSE, a robotic simulation environment. Results show that the model we propose guarantees time-predictable inter-core communication, the absence of concurrent accesses (without relying on hardware mechanisms), and allows for optimized execution throughput.
doi:10.1109/rtcsa.2019.8864570 dblp:conf/rtcsa/HiliGJ19 fatcat:3bjl2hrccbb7jbew7j64kf3iqi

Model-level, platform-independent debugging in the context of the model-driven development of real-time systems

Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel
2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017  
Hili, and Juergen Dingel. 2017.  ...  systems software; Software testing and debugging; KEYWORDS Model-based Debugging, Model-driven Development, UML-RT, Real-time and Embedded systems, MDD, MDE ACM Reference format: Mojtaba Bagherzadeh, Nicolas  ... 
doi:10.1145/3106237.3106278 dblp:conf/sigsoft/BagherzadehHD17 fatcat:dnjgphnsg5gq5hwporxlniwepa

Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation

Nondini Das, Suchita Ganesan, Leo Jweda, Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel
2016 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16  
This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in the tool environment supporting this vision is a highly-customizable code generation process. Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which runtime execution information can
more » ... e observed, and how these observations drive animation tools. The environment is envisioned to be suitable for different activities ranging from quality assurance to supporting certification, teaching, and outreach and will be built exclusively with open source tools to increase impact. A preliminary prototype implementation is described.
doi:10.1145/2976767.2976781 fatcat:6zafdrrs4faqzkgqykfnglfs4a

Ammonium salts are a reservoir of nitrogen on a cometary nucleus and possibly on some asteroids

Olivier Poch, Istiqomah Istiqomah, Eric Quirico, Pierre Beck, Bernard Schmitt, Patrice Theulé, Alexandre Faure, Pierre Hily-Blant, Lydie Bonal, Andrea Raponi, Mauro Ciarniello, Batiste Rousseau (+20 others)
2020 Science  
, Lydie Bonal, Andrea Raponi, Mauro Ciarniello, Batiste Rousseau, Sandra Potin, Olivier Brissaud, Laurène Flandinet, Gianrico Filacchione, Antoine Pommerol, Nicolas Thomas, David Kappel, Vito Mennella,  ...  are a reservoir of nitrogen on a cometary nucleus and possibly on some asteroids Olivier Poch*, Istiqomah Istiqomah, Eric Quirico, Pierre Beck, Bernard Schmitt, Patrice Theulé, Alexandre Faure, Pierre Hily-Blant  ... 
doi:10.1126/science.aaw7462 pmid:32165559 fatcat:ofyjayxyajg47osdarhhzcm36a

Page 173 of Acta Apostolicae Sedis Vol. 10, Issue 4 [page]

1918 Acta Apostolicae Sedis  
Nicola Camera, dell’archidiocesi di Amalfi. 13 > » Mons. Nicola Emilio Massé, della diocesi di Troyes. Prelati Domestici di S. S.: 22 ottobre 1917. Mons.  ...  Alfonso Hili, della diocesi di Gozo. 13 > » Mons. Antonio F. Kaul, della diocesi di Harrisburg. 16 » » Mong. Edmondo Fitz-Maurice, dell’archidiocesi di Filadelfia. ~ » » Mons.  ... 

Page 94 of IEEE Transactions on Computers Vol. 52, Issue 1 [page]

2003 IEEE Transactions on Computers  
Grassmann Flavius Gruian Ricardo Gutierrez H Haldun Hadimioglu Joosun Hahn Anwar Hasan Kazumi Hatayama John Hayes Mark Heinrich Sybille Hellebrand Joerg Henkel Ted Herman Ahmad Hiasat Martin Hiller Sebastien Hily  ...  Will Moore Dave Morano Daniel Mosse Konstantinos Moundanos Samiha Mourad Frank Mueller Jaiwant Mulik Jean-Michel Muller Rory Mulvaney IE TR Joges Jorn | Marcc Matt f N Shaile Tarun Ashwi Albert Zainal Nicola  ... 

Page 185 of Journalism and Mass Communication Quarterly Vol. 7, Issue 2 [page]

1930 Journalism and Mass Communication Quarterly  
New York: McGraw-Hili Book Company. 1930. xiiit+118 pp. $1.50. For twenty years, says Mr.  ...  The dates when the humanists improved upon these Carolingian minuscules and gave Nicolas Jenson and his contemporaries the models for their first Roman types would also have been welcomed.  ... 

Page 1201 of Mathematical Reviews Vol. 35, Issue 6 [page]

1968 Mathematical Reviews  
Nicolas, Sur l’ordre maximum d’un élément dans le groupe S, des permutations, I; Exp. 14, J. Fresnel, Nombres de Bernoulli et fonctions L p-adiques; Exp. 15, J.-P.  ...  Hily, Espaces de Banach dans les corps ultramé- triques(*); Exp. 8, G. Rauzy, Fonctions entiéres prenant des valeurs entiéres; Exp. 9, F.  ... 

Page 384 of Opportunity, a Journal of Negro Life Vol. 8, Issue 12 [page]

1930 Opportunity, a Journal of Negro Life  
McPeek En Passant, by Allyn Hili Exhibition, by Doris Kirkpatrick Farewell to Song, by Heba Jannath Faust, Henry, White to Black Flight, by Langston Hughes Flohr, Natalie, If You Were Flint Garfield, Philip  ...  ., Things Insensible, by A Requiem, by Karyl Vida Beauty, by Octavia Beatrice Wynbush Black Woman, by Nicolas Guillen, translated by Langston Hughes Aug., Brown, Sterling A., Strong Men Sept., Bruenn,  ... 

Page 592 of Science Vol. 22, Issue [page]

1905 Science  
Mr: Cuartes HiLi-Tout, Ethnological Survey of Canada: ‘ Heterogeneity of the Culture of the Selish Tribes.’ Discussed by Dixon, Goddard, C. Hart Merriam, Kroeber, Barrett. Dr. C.  ...  Kroever, University of California: ‘Exhibition of a Basket, now in the California Academy of Sciences, from the Extinct Indians of San Nicolas Island, California.’ Discussed by McLeod, Rust. Mr. F.  ... 

Page 29 of Bulgarian Review Vol. 17, Issue [page]

1977 Bulgarian Review  
And it is not (Hily the separate individuals who are being erased from the national memory.  ...  Dimitrov, Nicola Petkov, Kosta Lultchev and of some who were mice here, once'there like Kimon Gheorghiev and Damian Veltchev, represent as pditicians?  ... 
« Previous Showing results 1 — 15 out of 253 results