Welcome the func language doc!¶
The specification language.¶
The func is a description language that aims at producing rigorous, concise and human readable functional specification for any project, concerning any domain of application.
Descriptive language for multi-domain specification;
Generation of documentation in various format;
Modeling and proofing of functional behavior.
block Train_Odometer {
define Tick {
"""
Duration of the odometer tick in ms
"""
Duration: real;
"""
Count of increments during last odometer tick
"""
Increments: natural [[ < 256 ]];
}
require Read_Kinematics_From_Odometer on Reading:
""
{Reading.Distance} shall be equal to {Tick.Increments} ...
{Reading.Speed} shall be equal to {Tick.Increments} ...
"";
define output Reading {
Distance: real; # distance reading in meters
Speed: real; # speed reading in meters/seconds
}
}