Skip to content

A Probabilistic modeling and simulation language for modern vehicle IT infrastructures

License

Notifications You must be signed in to change notification settings

mal-lang/vehicleLang

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

72 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

vehicleLang

vehicleLang is a probabilistic modeling and simulation language for vehicular cyber attacks. More specifically, it is a domain specific language (DSL) created with MAL (the Meta Attack Language) and extended from coreLang. All the initial work on vehicleLang was done in the context of Master Thesis at KTH Royal Institute of Technology, Stockholm, Sweden and was funded by the Threat MOVE project. vehicleLang is however still developed and extended!

vehicleLang 2.0

vehicleLang 2.0 is created with coreLang as the foundation. coreLang is created with MAL and is a domain specific language (DSL) that models the abstract IT-domain. Work on vehicleLang 2.0 is done in the context of a masters thesis at KTH Royal Institute of Technology, Stockholm, Sweden.

Getting Started

These instructions will guide you on how to have a copy of the project up and running on your local machine for development and testing purposes.

Project's file structure

This project has the following structure:

  • The file pom.xml is the Maven configuration file of the project.
  • The language itself, the MAL specification, is found on the *.mal files located on the src/main/mal directory.
  • The unit and integration test cases of vehicleLang are located on the src/test/java/org/mal_lang/vehiclelang/test directory.
  • The directory src/main/resources/icons should contain the SVG icons for the assets in vehicleLang.
  • Finally, on the doc folder the documentation of vehicleLang can be found.

Since this is a Maven project it is ought to be opened by any compatible IDE or to be used with the mvn command line tool.

Building a securiCAD compatible .jar file and running the tests

Building a vehicleLang JAR for use in securiCAD does only require access on the proper repository from where all the needed packages will be automatically downloaded during building.

So, the securiCAD-compatible vehicleLang can be built by running:

mvn package -PsecuriCAD

If successful, the JAR can be picked up from the target directory as target/vehiclelang-<ver>.jar.

Note: Compiling for securiCAD requires Java 11 to be used.

Only building a securiCAD compatible .jar file

If you don't want to run the unit tests, you can build a securiCAD compatible .jar file with the following command:

mvn package -PsecuriCAD -Dmaven.test.skip=true

The resulting .jar file will be located in target/vehiclelang-<ver>.jar.

Only running the test cases of the language

If you don't want to build a securiCAD compatible .jar file, you can run the unit tests with the following command:

mvn test

Built With

  • Maven - Dependency Management

Authors

  • Sotirios Katsikeas

Contributors

  • Filip Lundqvist
  • Nedo Skobalj

License

This project is licensed under the Apache 2.0 License - see the LICENSE.md file for details

About

A Probabilistic modeling and simulation language for modern vehicle IT infrastructures

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages