autosar

A simplified model of programming in autosar

Contents

| 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/ |

Dissemination

• 2016-08-31: Technical report / paper: Preprint, (source code)
• 2016-06-09: Software Center Sprint 10 reporting workshop.
  • Short presentation (by Patrik Jansson)
  • Longer presentation & demo in the afternoon (by Oskar Abrahamsson)