From cbb62dd621c17e4d0f9a532fcd0b66bcc2b599d5 Mon Sep 17 00:00:00 2001 From: Christian Menard Date: Thu, 20 Jun 2024 11:08:56 +0200 Subject: [PATCH] Update README.md --- README.md | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/README.md b/README.md index 7d1335db..4e4b87df 100644 --- a/README.md +++ b/README.md @@ -5,13 +5,8 @@ A Reactor-Oriented Programming Framework in C++ While reactor-cpp can be used as a standalone framework, it is designed to work in conjunction with [Lingua Franca](https://github.com/lf-lang/lingua-franca/), -a polyglot metaprogramming language. Have a look at the Lingua Franca -[wiki](https://github.com/lf-lang/lingua-franca/wiki) to get an overview of the -Reactor model. If you are working with AUTOSAR Adaptive Platform (AP), also -have a look at the [DEAR framework](https://github.com/tud-ccc/dear), which in -conjunction with reactor-cpp allows to implement AP Services using the reactor -model. - +a polyglot metaprogramming language. Read the Lingua Franca [handbook](https://www.lf-lang.org/docs/) +to get an overview of the reactor model. ## Build @@ -26,12 +21,14 @@ The examples need to be built explicitly. Alternatively, take a look at the [CONTRIBUTING.md](CONTRIBUTING.md) for building with nix package manager. ## Extras -reactor-cpp can be built with [tracing](https://github.com/lf-lang/reactor-cpp/tree/master/tracing) support](https://github.com/lf-lang/reactor-cpp/tree/master/tracing). This provides a powerful tool for analyzing and debugging reactor applications. +reactor-cpp can be built with [tracing support](https://github.com/lf-lang/reactor-cpp/tree/master/tracing). +This provides a powerful tool for analyzing and debugging reactor applications. ## Contributing For general guidelines about contributing, see [CONTRIBUTING.md](CONTRIBUTING.md). + ## Publications -* **DATE'20:** Christian Menard, Andrés Goens, Marten Lohstroh, Jeronimo Castrillon, [Achieving Determinism in Adaptive AUTOSAR](https://arxiv.org/pdf/1912.01367), Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE), EDA Consortium, Mar 2020. -Also, see the Lingua Franca [publications](https://github.com/lf-lang/lingua-franca/wiki/Publications-and-Presentations). +* **Phd Thesis:** Christian Menard, ["Deterministic Reactive Programming for Cyber-physical Systems"](https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-916872), PhD thesis, TU Dresden, 205 pp., Jun 2024. +* **TACO'23:** Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, and Edward A. Lee. 2023. ["High-performance Deterministic Concurrency Using Lingua Franca"](https://doi.org/10.1145/3617687). ACM Transaction on Architecure and Code Optimization, Volume 20, Issue 4, Article 48 (December 2023), 29 pages. +* **DATE'20:** Christian Menard, Andrés Goens, Marten Lohstroh, Jeronimo Castrillon, ["Achieving Determinism in Adaptive AUTOSAR"](https://doi.org/10.23919/DATE48585.2020.9116430), 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France, 2020, pp. 822-827. + +More related publications are available on the Lingua Franca [publication page](https://www.lf-lang.org/research).