Semi-formal representation of requirements for automotive solutions using sysML
暂无分享,去创建一个
Andi Buzo | Peter P. Puschner | Georg Pelz | Susanne Kandl | Liana Musat | Markus Hubl | P. Puschner | Liana Musat | Markus Hubl | Andi Buzo | G. Pelz | S. Kandl
[1] Guy H. Broadfoot,et al. ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software , 2005, FM.
[2] Mourad Debbabi,et al. Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).
[3] Jos L. M. Vrancken,et al. Model-Driven User Requirements Specification using SysML , 2008, J. Softw..
[4] Arda Goknil,et al. Change Impact Analysis for SysML Requirements Models based on Semantics of Trace Relations , 2009 .
[5] Gérard Morel,et al. Combining SysML and formal methods for safety requirements verification , 2010 .
[6] Kenneth D. Evensen,et al. A Comparison and Evaluation of Real-Time Software Systems Modeling Languages , 2010 .
[7] Brian Berenbach,et al. Towards a unified Requirements Modeling Language , 2010, 2010 Fifth International Workshop on Requirements Engineering Visualization.
[8] Stefan Schulz,et al. Integrating System Modelling with Safety Activities , 2010, SAFECOMP.
[9] François Terrier,et al. A Model-Driven Requirement Engineering Process Compliant with Automotive Domain Standards , 2010 .
[10] Peter H. Feiler,et al. Model-Based Engineering with AADL , 2012 .
[11] Simon Perry,et al. Semi-formal and formal interface specification for system of systems architecture , 2013, 2013 IEEE International Systems Conference (SysCon).
[12] Da He,et al. Code Generation for QEMU-SystemC Cosimulation from SysML , 2014 .