Aaron Kane
YOU?
Author Swipe
View article: Runtime Monitoring for Safety-Critical Embedded Systems
Runtime Monitoring for Safety-Critical Embedded Systems Open
The trend towards more commercial-off-the-shelf (COTS) components in complex safety-critical systems is increasing the difficulty of verifying system correctness. Runtime verification (RV) is a lightweight technique to verify that certain …
View article: ITHub Chat Application
ITHub Chat Application Open
The objective of this project is to provide an real-time solution for IT personalities to get together and discuss programming in real-time. Individuals will have the ability to log into an application that will host multiple chat rooms at…