System and method for developing software utilizing determinative representations

   
   

A statechart includes a state having two or more parallel states. The two or more parallel states are ordered to ensure determinism for the system. The statecharts can be modified Harel statecharts. The statecharts can be utilized to generate avionics software.

Een statechart omvat een staat die twee of meer parallelle staten heeft. De twee of meer parallelle staten worden bevolen om determinisme voor het systeem te verzekeren. Statecharts kunnen gewijzigde Harel zijn statecharts. Statecharts kunnen worden gebruikt om luchtvaartelectronicasoftware te produceren.

 
Web www.patentalert.com

< Pipelined processor and method using a profile register storing the return from exception address of an executed instruction supplied by an exception program counter chain for code profiling

< Time-interval based monitor function for dynamic insertion into and removal from a running application

> System and method for building source code for connecting to systems

> Method for runtime code integrity validation using code block checksums

~ 00173