SysML-sec: A sysML environment for the design and development of secure embedded systems

Our ap- proach has two main steps: First, for a given change, we ob- tain a set of estimated impacted model elements by comput- ing reachability over inter-block data flow

Here, this approach unifies both levels of integration: as an overall SysML model may be the result from the collaborative design phase of the V-model, this resource can directly

For example: the Role based Access Control modeling language (RBAC, (Ferraiolo et al., 2001)) reduces the workload of IT administrators, because RBAC models allow for assigning

The lower layer describes the behavior of a component as a set of atomic compo- nents; the intermediate layer includes connectors describing interactions between transitions of

Finally, we reported about trying out the generic infrastructure by enabling the use of yet another modeling language, SysMLv2, as user input language, by transforming SysML models

The approach is composed of metric groups that are defined on the basis of the principles of MBSE Grid method: Requirements Refinement Metrics, Requirements Satisfaction Metrics,

Reaching the 85% of behavior elements usage for refining functional requirements of stakeholder has been started another stage, the refinement of physical and interface

We built upon the TIOA framework a formal contract-based theory and we established composi- tionality results that allow reasoning with contracts for the satisfaction of timed