Kashif Saghar
YOU?
Author Swipe
View article: sharpniZer: A C# Static Code Analysis Tool for Mission Critical Systems
sharpniZer: A C# Static Code Analysis Tool for Mission Critical Systems Open
Until recent years, code quality was not given due significance, as long as the system produced accurate results.Taking into account the implications and recent losses in critical systems, developers have started making use of static code …
View article: Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder
Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder Open
Serial data transmission accounts for a considerable share of the overall communication involved in real-time embedded systems.Although there are some standard serial protocols, many systems still use ad-hoc serial protocols for communicat…