SysML

SysML Open Source Specification Project. The SysML.org web provides information, specifications, and resources related to the Systems Modeling Language (SysML) open source specification project, founded by the SysML Partners in 2003. The SysML open source specification is publicly available for download, and includes an open source license for distribution and use.


References in zbMATH (referenced in 21 articles )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Westman, Jonas; Nyberg, Mattias: Conditions of contracts for separating responsibilities in heterogeneous systems (2018)
  2. Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun: A two-way path between formal and informal design of embedded systems (2017)
  3. Oliveira, Marcel V.M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A.W.: Rigorous development of component-based systems using component metadata and patterns (2016)
  4. Steiniger, Alexander; Uhrmacher, Adelinde M.: Intensional couplings in variable-structure models: an exploration based on multilevel-DEVS (2016)
  5. Gauthier, Jean-Marie; Bouquet, Fabrice; Hammad, Ahmed; Peureux, Fabien: Tooled process for early validation of SysML models using Modelica simulation (2015)
  6. Matsikoudis, Eleftherios; Lee, Edward A.: The fixed-point theory of strictly causal functions (2015)
  7. Ouchani, Samir; Debbabi, Mourad: Specification, verification, and quantification of security in model-based systems (2015) ioport
  8. Chen, Dejiu; Feng, Lei; Qureshi, Tahir Naseer; Lönn, Henrik; Hagl, Frank: An architectural approach to the analysis, verification and validation of software intensive embedded systems (2013)
  9. Sakairi, Takashi; Palachi, Eldad; Cohen, Chaim; Hatsutori, Yoichi; Shimizu, Junya; Miyashita, Hisashi: Model based control system design using SysML, Simulink, and Computer Algebra System (2013)
  10. Graves, Henson; Bijan, Yvonne: Using formal methods with SysML in aerospace design and engineering (2011)
  11. Wells, Wilfred H.; Karwowski, Waldemar; Sala-Diakanda, Serge; Williams, Kent; Ahram, Tareq; Pharmer, James A.: Application of systems modeling language (SySML) for cognitive work analysis in systems engineering design process (2011) ioport
  12. Andrade, Ermeson; Maciel, Paulo; Nogueira, Bruno; Araújo, Carlos; Callou, Gustavo: A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (2010)
  13. Shah, Aditya A.; Kerzhner, Aleksandr A.; Schaefer, Dirk; Paredis, Christiaan J.J.: Multi-view modeling to support embedded systems engineering in SysML (2010) ioport
  14. Tosserams, S.; Hofkamp, A.T.; Etman, L.F.P.; Rooda, J.E.: A specification language for problem partitioning in decomposition-based design optimization (2010) ioport
  15. Jarraya, Yosr; Soeanu, Andrei; Alawneh, Luay; Debbabi, Mourad; Hassaïne, Fawzi: Synergistic verification and validation of systems and software engineering models (2009)
  16. Stöcker, Jan; Lang, Frédéric; Garavel, Hubert: Parallel processes with real-time and data: the ATLANTIF intermediate format (2009)
  17. Burmester, Sven; Giese, Holger; Münch, Eckehard; Oberschelp, Oliver; Klein, Florian; Scheideler, Peter: Tool support for the design of self-optimizing mechatronic multi-agent systems (2008) ioport
  18. Mallet, Frédéric: Clock constraint specification language: specifying clock constraints with UML/MARTE (2008) ioport
  19. Von Der Beeck, Michael: Development of logical and technical architectures for automotive systems (2007) ioport
  20. Krob, Daniel: Modelling of complex software systems: a reasoned overview (2006)

1 2 next