Zobrazeno 1 - 10
of 21
pro vyhledávání: '"David Lesens"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 20, Iss Proc. FMA 2009, Pp 34-48 (2010)
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enab
Externí odkaz:
https://doaj.org/article/18d71b999a5b4fe38de56f7dc2d841af
Publikováno v:
This manuscript is the extended version of the manuscript of the same name published in the proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD 2019)
19th International Conference on Application of Concurrency to System Design (ACSD 2019)
19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany
ACSD
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2021, 182 (1), pp.31-67. ⟨10.3233/FI-2021-2065⟩
Fundamenta Informaticae, 2021, 182 (1), pp.31-67. ⟨10.3233/FI-2021-2065⟩
HAL
19th International Conference on Application of Concurrency to System Design (ACSD 2019)
19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany
ACSD
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2021, 182 (1), pp.31-67. ⟨10.3233/FI-2021-2065⟩
Fundamenta Informaticae, 2021, 182 (1), pp.31-67. ⟨10.3233/FI-2021-2065⟩
HAL
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a manual design is to automatically synthesize the main parameters of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::107c6437007fb427d6ef6c46ff9a234e
https://hal.archives-ouvertes.fr/hal-02072159
https://hal.archives-ouvertes.fr/hal-02072159
Publikováno v:
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.307-338. ⟨10.1007/s10626-011-0107-x⟩
Discrete Event Dynamic Systems, 2011, 21 (3), pp.307-338. ⟨10.1007/s10626-011-0107-x⟩
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.307-338. ⟨10.1007/s10626-011-0107-x⟩
Discrete Event Dynamic Systems, 2011, 21 (3), pp.307-338. ⟨10.1007/s10626-011-0107-x⟩
International audience; This article presents a complete scheme for the integration and the development of multi-periodic critical embedded systems. A system is formally specified as a modular and hierarchical assembly of several locally mono-periodi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4032551276f39de28ae9d77609caf8a
https://doi.org/10.1007/s10626-011-0107-x
https://doi.org/10.1007/s10626-011-0107-x
Publikováno v:
DSN
We introduce a simulator (slimsim) for a subset of AADL extended with formalized behavioral semantics for nominal and error models. The simulator allows to perform probabilistic analysis using the Monte Carlo method, on linear-hybrid, stochastic mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a066565b16510da7e9fe2e3920ec217
https://doi.org/10.1109/dsn.2015.32
https://doi.org/10.1109/dsn.2015.32
Publikováno v:
TIME
Given a Parametric Timed Automaton (PTA) A and a reference valuation for timings, the Inverse Method (IM) synthesizes a constraint around the reference valuation where A behaves in the same time-abstract manner. This provides us with a quantitative m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9097bb033a6134b9ec805749da68774
https://doi.org/10.1109/time.2012.10
https://doi.org/10.1109/time.2012.10
Autor:
Eric Conquet, Francois-Xavier Dormoy, Iulia Dragomir, Susanne Graf, David Lesens, Piotr Nienaltowski, Iulian Ober
Publikováno v:
ERTS 2012 proceedings
Embedded Real Time Software and Systems (ERTS2012)
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
HAL
Embedded Real Time Software and Systems (ERTS2012)
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
HAL
International audience; One of the major sources of errors in the development of real time critical embedded software is the misinterpretation of system requirements allocated to the software. These misunderstandings between the system team and the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::028d3ce1381a7c170296f94380f71269
https://hal.archives-ouvertes.fr/hal-02263443/document
https://hal.archives-ouvertes.fr/hal-02263443/document
Publikováno v:
IEEE Real-Time and Embedded Technology and Applications Symposium
Proceedings of the
16th IEEE Real-Time and Embedded Technology and Applications Symposium
16th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2010, Stockholm, Sweden. pp.301--310
Proceedings of the
16th IEEE Real-Time and Embedded Technology and Applications Symposium
16th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2010, Stockholm, Sweden. pp.301--310
International audience; This article studies the scheduling of critical embedded systems, which consist of a set of communicating periodic tasks with constrained deadlines. Currently, tasks are usually sequenced manually, partly because available sch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d33c1f56750cc5e550a88f6a35268ab9
https://doi.org/10.1109/rtas.2010.26
https://doi.org/10.1109/rtas.2010.26
Publikováno v:
Proceedings of the 2010 ACM Symposium On Applied Computing
25th ACM Symposium On Applied Computing
25th ACM Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.527--534
SAC
25th ACM Symposium On Applied Computing
25th ACM Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.527--534
SAC
International audience; This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but extends it to support efficiently systems with m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a61b1e2938069e2fc1443eb237336ac
https://hal.science/hal-00688490
https://hal.science/hal-00688490
Autor:
David Lesens
Publikováno v:
Static Analysis ISBN: 9783642157684
SAS
SAS
This paper presents the point of view of an industrial company of the space domain on static analysis. It first discusses the compatibility of static analysis with the standards applicable for the development of critical embedded software in the Euro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c79b8d4acae4f0dc6665112042181fd0
https://doi.org/10.1007/978-3-642-15769-1_5
https://doi.org/10.1007/978-3-642-15769-1_5
Publikováno v:
Proceedings of the
FM-09 Workshop on Formal Methods for Aerospace
FM-09 Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.34-48
Electronic Proceedings in Theoretical Computer Science, Vol 20, Iss Proc. FMA 2009, Pp 34-48 (2010)
FM-09 Workshop on Formal Methods for Aerospace
FM-09 Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.34-48
Electronic Proceedings in Theoretical Computer Science, Vol 20, Iss Proc. FMA 2009, Pp 34-48 (2010)
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45a52b3c57dbc383b1d411a2bcd85498