Scientific articles
\
Mathematics. Natural sciences
\
Biological sciences in general
\
Material bases of life. Biochemistry. Molecular biology. Biophysics
Formalisation method for decription of embedded system behavior during software development
Journal: Научное приборостроение @nauchnoe-priborostroenie
Section: Обработка и представление данных
Article in issue: 3 т.21, 2011.
Free access
This article analyzes the formalization method for embedded system initial data behavior description using temporal formulas and Kripke structure. The formalization process is exemplified by the description of automatic cholinesterase activity level analyzer for human plasma and blood "Granat-4". The obtained formalized description can be used for software development, system analysis with Model Checking, formal verification and preparing test planes.
formalization
\ verification
\ kripke structure
\ temporal logic
\ cholinesterase
\ transition system
\ use case
Similar articles in the section Material bases of life. Biochemistry. Molecular biology. Biophysics
Short address: https://sciup.org/14264730
IDS: 14264730 | UDC: 577.152.311-82
