-
1
-
-
85018445310
-
On error-class distribution in automotive model-based software
-
Mar.
-
H. Altinger, Y. Dajsuren, S. Siegl, J. J. Vinju, and F. Wotawa, "On error-class distribution in automotive model-based software," in Proc. Int. Conf. Softw. Anal., Evol. Reeng., Mar. 2016, pp. 688-692.
-
(2016)
Proc. Int. Conf. Softw. Anal., Evol. Reeng.
, pp. 688-692
-
-
Altinger, H.1
Dajsuren, Y.2
Siegl, S.3
Vinju, J.J.4
Wotawa, F.5
-
5
-
-
84937836044
-
-
NASA Langley Res. Center, Hampton, VA, USA, Tech. Rep. NASA/CR-2014-218244
-
D. Cofer and S. P. Miller, "Formal methods case studies for do-333," NASA Langley Res. Center, Hampton, VA, USA, Tech. Rep. NASA/CR-2014-218244, 2014.
-
(2014)
Formal Methods Case Studies for do-333
-
-
Cofer, D.1
Miller, S.P.2
-
6
-
-
85018422787
-
Proving properties of automotive systems of systems under ISO 26262 using automated formal methods
-
Manchester, U.K., Oct.
-
N. J. Tudor and J. Botham, "Proving properties of automotive systems of systems under ISO 26262 using automated formal methods," in Proc. 9th IET Int. Conf. Syst. Safety Cyber Secur., Manchester, U.K., Oct. 2014, pp. 1-6.
-
(2014)
Proc. 9th IET Int. Conf. Syst. Safety Cyber Secur.
, pp. 1-6
-
-
Tudor, N.J.1
Botham, J.2
-
7
-
-
84873369553
-
Indus-trial experiences of building a safety case in compliance with ISO 26262
-
Dallas, TX, USA, Nov.
-
R. Dardar, B. Gallina, A. Johnsen, K. Lundqvist, and M. Nyberg, "Indus-trial experiences of building a safety case in compliance with ISO 26262," Proc. IEEE 23rd Int. Symp. Softw. Reliability Eng. Workshops, Dallas, TX, USA, Nov. 2012, p. 349-354.
-
(2012)
Proc. IEEE 23rd Int. Symp. Softw. Reliability Eng. Workshops
, pp. 349-354
-
-
Dardar, R.1
Gallina, B.2
Johnsen, A.3
Lundqvist, K.4
Nyberg, M.5
-
8
-
-
84879868974
-
-
[Online]
-
AUTOSAR. (2011). "Specification of Watchdog Manager," [Online]. Available: https://www.autosar.org/-leadmin/-les/releases/4-2/software-architecture/safety-and-security/standard/AUTOSAR-SWS-WatchdogManager.pdf
-
(2011)
Specification of Watchdog Manager
-
-
-
9
-
-
85019103201
-
-
[Online]
-
SAL. (2007). Symbolic Analysis Laboratory. [Online]. Available: http://sal.csl.sri.com/
-
(2007)
Symbolic Analysis Laboratory
-
-
-
11
-
-
77949905795
-
Formal verification of UML-modeled machine controls
-
Sep.
-
T. Klotz, E. Fordran, B. Straube, and J. Haufe, "Formal verification of UML-modeled machine controls," in Proc. IEEE Conf. Emerg. Technol. Factory Autom. (ETFA), Sep. 2009, pp. 1-7.
-
(2009)
Proc. IEEE Conf. Emerg. Technol. Factory Autom. (ETFA)
, pp. 1-7
-
-
Klotz, T.1
Fordran, E.2
Straube, B.3
Haufe, J.4
-
13
-
-
78649571367
-
An approach for design and formal verification of safety-critical software
-
Oct.
-
W.-G. Ma and X.-H. Hei, "An approach for design and formal verification of safety-critical software," in Proc. Int. Conf. Comput. Appl. Syst. Mod-eling (ICCASM), Oct. 2010, pp. V4-264-V4-268.
-
(2010)
Proc. Int. Conf. Comput. Appl. Syst. Mod-eling (ICCASM)
, pp. V4264-V4268
-
-
Ma, W.-G.1
Hei, X.-H.2
-
14
-
-
84873870932
-
Research on model checking technology of UML
-
Nanjing, China, Aug.
-
L. Ji, J. Ma, and Z. Shan, "Research on model checking technology of UML," in Proc. Int. Conf. Comput. Sci. Service Syst., Nanjing, China, Aug. 2012, pp. 2337-2340.
-
(2012)
Proc. Int. Conf. Comput. Sci. Service Syst.
, pp. 2337-2340
-
-
Ji, L.1
Ma, J.2
Shan, Z.3
-
15
-
-
84963585239
-
Towards transformation from UML to event-B
-
Vancouver, BC, Canada, Aug.
-
H. Siyuan and Z. Hong, "Towards transformation from UML to event-B," in Proc. IEEE Int. Conf. Softw. Quality, Rel. Secur.-Companion,Vancouver, BC, Canada, Aug. 2015, pp. 188-189.
-
(2015)
Proc. IEEE Int. Conf. Softw. Quality, Rel. Secur.-Companion
, pp. 188-189
-
-
Siyuan, H.1
Hong, Z.2
-
16
-
-
84971472950
-
Towards automatic generation of formal specifications for UML consistency verification
-
Tehran, Iran, Nov.
-
M. Sharbaf, B. Zamani, and B. T. Ladani, "Towards automatic generation of formal specifications for UML consistency verification," in Proc. 2nd Int. Conf. Knowl.-Based Eng. Innov. (KBEI), Tehran, Iran, Nov. 2015, pp. 860-865.
-
(2015)
Proc. 2nd Int. Conf. Knowl.-Based Eng. Innov. (KBEI)
, pp. 860-865
-
-
Sharbaf, M.1
Zamani, B.2
Ladani, B.T.3
-
17
-
-
84971474077
-
Automatic verification of UML state chart by BOGOR model checking tool: Automatic formal verification of network and distributed systems
-
Tehran, Iran
-
B. S. Neysian and S. M. Babamir, "Automatic verification of UML state chart by BOGOR model checking tool: Automatic formal verification of network and distributed systems," in Proc. 2nd Int. Conf. Knowl.-Based Eng. Innov. (KBEI), Tehran, Iran, 2015, pp. 797-802.
-
(2015)
Proc. 2nd Int. Conf. Knowl.-Based Eng. Innov. (KBEI)
, pp. 797-802
-
-
Neysian, B.S.1
Babamir, S.M.2
-
18
-
-
84922635886
-
Arguing soft-ware compliance with ISO 26262
-
Naples, Italy, Nov.
-
A. B. Hocking, J. Knight, M. A. Aiello, and S. Shiraishi, "Arguing soft-ware compliance with ISO 26262," in Proc. IEEE Int. Symp. Softw. Rel. Eng. Workshops (ISSREW), Naples, Italy, Nov. 2014, pp. 226-231, doi: 10.1109/ISSREW.2014.88.
-
(2014)
Proc. IEEE Int. Symp. Softw. Rel. Eng. Workshops (ISSREW)
, pp. 226-231
-
-
Hocking, A.B.1
Knight, J.2
Aiello, M.A.3
Shiraishi, S.4
-
20
-
-
85019106582
-
-
accessed on Jul. 2016. [Online]
-
AUTOSAR, accessed on Jul. 2016. [Online]. Available: http://www.autosar.org/standards/classic-platform/release-40/software-architecture/general/
-
AUTOSAR
-
-
-
21
-
-
84986878869
-
-
[Online]
-
Yices. (2009). Yices SMT Solver. [Online]. Available: http://yices. csl.sri.com/
-
(2009)
Yices SMT Solver
-
-
|