Merge maintenance/MPS-2023.2 into master #114
Open
+36,042
−5,505
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
This PR should not be merged into master in this form but rather the changes should be accepted from master. The reason is that master is on 2024.1 |
* symo: initial steps for the implementation of plantuml * build: added symo.plantuml to the build * symo: re-use batik library from itemis stubs * gradle.lockfile: updated dependency to mps-qa
(cherry picked from commit c252358)
* .github: added "Publish RCPs" task to the workflow * build.gradle: fixed the patching of the Windows RCP + enable publication to the github packages repo
… referenced nodes which are displayed on other pages
+ fixed new dependencies of the pdf exporter
This reverts commit 89aac03.
* symo: enhance the support for plantuml diagrams * safety: fix the build * safety: fix the build --------- Co-authored-by: ratiud <[email protected]>
* mpsbasics, safety: fix the doc2word tests * mpsbasics.docx4j: improved error reporting in case of tests failures * mpsbasics.docx4j: enhance comparator for generated DOCX4j documents with the possibility to ignore certain lines --------- Co-authored-by: ratiud <[email protected]>
* pdfbox: support upstream links in PDF exports * overall: File -> Force Save All --------- Co-authored-by: ratiud <[email protected]>
* mpsbasics: enable exporting of HTML Snippets * safety-tutorial: enhanced the demo about exporting assurance cases to PDF
* safety.distribution.build: added model for startup scripts, added plarform specific builds * safety.build: restructured to enable building for different platforms * safety.build: various fixes in the build scripts on the mps side * build.gradle.kts: re-written publications
Co-authored-by: ratiud <[email protected]>
* Added OASCF - "The Open Autonomy Safety Case Framework" from https://arxiv.org/pdf/2404.05444
* safety.distribution: added PlantUml to "New FASTEN Root" menu * overall: moved basic editor component "HeaderComponent" from "com.mbeddr.formal.base" to "com.mpsbasics.core" * safety: added dependency to symo to the Project Library * a small example about the plantuml integration
* safety.spi: enable checking of SPIs * rcp: added the creation of SPI containers to "New FASTEN Root" menu * safety.tutorial: added examples for linking assurance cases to runtime data, and the definition of SPIs * safety: optimized imports of the "safety.argument.spi" language * safety: fixed build dependencies * build: added fasten.gsn.runtime devkit to the build * safety.tutorial: removed duplicated model "_080_assurance_cases_linked_to_jira" + converted some models into "File-per-Root Format" * safety.tutorial: renamed model "_200_autonomy_safety_arguments_catalogue._010_oascf" * build.gradle: mini optimization to avoid building "assurance_languages" two times
* safety: improved safety.argument.modelquery * tutorial.safety: added an example for model-query
* fasten.base: initial support for sat4j * safety: added ODD to fasten.requirements devkit - added ODD to "New FASTEN Root Node" * Added ontologies and a draft of odd specification example. * req: improvements of the odd language, added tests for ODDs * safety.build: added "test.com.fasten.req.odd" and "test.com.mbeddr.formal.req.tl_patterns" to the tests * safety.build: added dependency from generic distribution to "mps::plugins/mps-ide" * Update main.yml avoid building multiple times * rcp: fixed open-tutorial action * safety.build: cleanup creation of Win RCP * safety.build: import "mps::plugins/mps-rcp" + further cleanup for Windows RCP * Added BSI 1883 taxonomy. * Modified BSI 1883 taxonomy and made a first version of the ODD example. * Added first draft of AVSC ODD Lexicon. * Final touches BSI 1883 taxonomy and ODD example. --------- Co-authored-by: Carmen Carlan <[email protected]>
* build: added fasten.symo plugin to the generic distribution * build: added mps-kotlin
* Edited Wordnet, Czarnecki, and AVSC ontologies.
#133) * cleanup deprecated code * req.odd: cleanup * req.odd: cleanup * repo_admin: added new linters gradle.lockfile: updated dependency to mpsqa * safety.tutorial: fixed empty line in ontology definitions * safety: cleanup code to get green linters * build: fixed dependencies * build: temporary commented out the test "test.com.fasten.safety.doc2word" --------- Co-authored-by: ratiud <[email protected]>
* rcp.plugin: added pdf-export to the "New FASTEN Root" menu * fasten.doc: created the devkit "fasten.docs" * build: added various icons * mpsbasics: added IProvideBasicContextMenus interface concept * safety.argument.process: added context menus to the bibliography editor for adding clauses, parts and standards * safety.gsn.editor: added connection information in the textual view * safety.gsn.editor: several fixes to make the editor more robust * req: mini improvements in the editor
safety.gsn: add semantic layouting as button in the diagram - fixed DescriptionAlignmentContextButton - added MoveToViewerButton
Added documentation to ontologies and changed concepts in ontologies so that they start with capital letters.
* safety.tutorial: added an example for using on-the-fly generated external evidence with python * safety.gsn.external_evidence: enhance to detect tool failures, integrate external evidence checking in the model-checking * safety.gsn: move EEvidenceCheckingResult to behavior of GSN * workflow: added a step to install python junit-xml package * safety.gsn.external.evidence: better handling of runtime-errors * safety.build: add mpsutil.genericactions to the safetyDistribution.generic
…ges (#139) * req.odd: fixed typo in ODD constraint PREDICATE * req.odd: added ODDRefWord * gradle.lockfile: updated dependency to mbeddr.platform * safety.hara, safety.iso26262: add IProvideBasicContextMenus to Hazard and ISO26262Hazard * safety.gsn: fixed example * req: enable checking "Requirements Conssitency with NuSMV" only for requirements with nusmv scope * fasten.safety: enhanced the devkit to contain all safety languages * fasten.safety.rcp: new Goal Structure enables now the fasten.safety devkit * fasten.safety: added fasten.safety.req to the fasten.safety devkit
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Merge changes from
maintenance/MPS-2023.2tomaster.