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 20 articles )

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

  1. Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun: A two-way path between formal and informal design of embedded systems (2017)
  2. 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)
  3. Steiniger, Alexander; Uhrmacher, Adelinde M.: Intensional couplings in variable-structure models: an exploration based on multilevel-DEVS (2016)
  4. Gauthier, Jean-Marie; Bouquet, Fabrice; Hammad, Ahmed; Peureux, Fabien: Tooled process for early validation of SysML models using Modelica simulation (2015)
  5. Matsikoudis, Eleftherios; Lee, Edward A.: The fixed-point theory of strictly causal functions (2015)
  6. Ouchani, Samir; Debbabi, Mourad: Specification, verification, and quantification of security in model-based systems (2015) ioport
  7. 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)
  8. 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)
  9. Graves, Henson; Bijan, Yvonne: Using formal methods with SysML in aerospace design and engineering (2011)
  10. 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
  11. 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)
  12. Shah, Aditya A.; Kerzhner, Aleksandr A.; Schaefer, Dirk; Paredis, Christiaan J.J.: Multi-view modeling to support embedded systems engineering in SysML (2010) ioport
  13. 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
  14. Jarraya, Yosr; Soeanu, Andrei; Alawneh, Luay; Debbabi, Mourad; Hassaïne, Fawzi: Synergistic verification and validation of systems and software engineering models (2009)
  15. Stöcker, Jan; Lang, Frédéric; Garavel, Hubert: Parallel processes with real-time and data: the ATLANTIF intermediate format (2009)
  16. 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
  17. Mallet, Frédéric: Clock constraint specification language: specifying clock constraints with UML/MARTE (2008) ioport
  18. Von Der Beeck, Michael: Development of logical and technical architectures for automotive systems (2007) ioport
  19. Krob, Daniel: Modelling of complex software systems: a reasoned overview (2006)
  20. Weilkiens, Tim: Systems engineering with SysML/UML. Modelling, analysis, design (2006)