A simplified model of programming in autosar
| Directory | Comment |
|---|---|
| ARSim/ | Simulator (written in Haskell) + DSL examples + MATLAB interface |
| ARXML/ | Translator from AUTOSAR XML to Haskell (in progress) |
| sem/ | Semantics (in eprover syntax - similar to Prolog) |
| tptp/ | FOL syntax for the semantics |
| paper/ | Research paper draft about the AUTOSAR core calculus |
| doc/ | documentation slides etc. |
| oldARSim/ | Earlier version of the simulator (now in ARSim/) |
| mercury/ | |
| curry/ |
- 2016-08-31: Technical report / paper: Preprint, (source code)
- 2016-06-09: Software Center Sprint 10 reporting workshop.