Difference between revisions of "Inclusive Modeling with SysMD"

From F-Si wiki
Jump to navigation Jump to search
Line 32: Line 32:
==Software==
==Software==
===General information===
===General information===
* Repository: https://github.com/TUK-CPS ; Repository SysMD will be used once we get OK from partners.   
* Repository: https://github.com/tukcps ; Repository SysMD will be used once we get OK from partners.   
* Main documentation website: https://github.com/TUK-CPS/SysMD
* Main documentation website: https://github.com/TUK-CPS/SysMD
* Wikipedia page: https://en.wikipedia.org/wiki/XXX-YYY-ZZZ (if a wikipedia page about the software, or a page mentioning it, does not exist yet, please consider creating one). If it gets reverted or deleted, please create a page on https://wiki.f-si.org
* Wikipedia page: https://en.wikipedia.org/wiki/XXX-YYY-ZZZ (if a wikipedia page about the software, or a page mentioning it, does not exist yet, please consider creating one). If it gets reverted or deleted, please create a page on https://wiki.f-si.org

Revision as of 11:53, 30 June 2022

  • Speaker(s): Christoph Grimm
  • Email: grimm@cs.uni-kl.de

Downloads

  • Slides (to upload a file: go to Edit mode, then click on the fourth icon from the left "Embed file" and follow the instructions)
  • [https:peertube.f-si.org/xxxx Video recording]

Abstract

SysMD/AGILA is a framework for high-level modeling of requirements and specifications. Its main advantages and features are

  • Integration of explaining documentation with models
    • Documentation can be any Markdown (MD) document
    • Textual models can be attached documentation
    • Textual models can be SysMD and/or a subset of SysMLv2
  • Interoperability with SysMLv2 targeted
    • by using the meta-model of SysMLv2/KerML
    • via support for the SysMLv2 REST API
  • Analysis of the consistency and feasibility
    • propagation of constraints on integers and real values
    • support for quantities with physical units in the SI system and many national and other units
    • check of satisfiability of Boolean expressions
    • support for non-linear and mixed discrete/continuous expressions
  • Client/Server architecture
    • Server supports version tracking

Software

General information

Wiki page on wiki.f-si.org: https://wiki.f-si.org/index.php/XXX-YYY-ZZZ

  • The software has been used in the following projects: GENIAL!, Arrowhead Tools, AnastASICA

Roadmap

  • The software wishes to interface with the following tools: SysMLv2 API, KerMLv2 metamodel
  • The project seeks help on: UI improvement, issues reporting, bug hunting
  • References
E. Miller, The history of Lorem Ipsum, (New York: Academic Press, 2005), 23-5.
R. Smith, "Dummy text repositories", Scientific American, 46 (April 1978): 44-6.
Retrieved from "https://wiki.f-si.org/index.php?title=Inclusive_Modeling_with_SysMD&oldid=2543"