Difference between revisions of "Inclusive Modeling with SysMD"
Jump to navigation
Jump to search
| Line 22: | Line 22: | ||
* Analysis of the consistency and feasibility | * 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 | ** support for quantities with physical units in the SI system and many national and other units | ||
** check of satisfiability of Boolean expressions | ** check of satisfiability of Boolean expressions | ||
| Line 29: | Line 29: | ||
* Client/Server architecture | * Client/Server architecture | ||
** Server supports version tracking | ** Server supports version tracking | ||
==Software== | ==Software== | ||
Revision as of 12:03, 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
- Repository: 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
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.