Error checking with client-driven pointer analysis
This paper presents a new client-driven pointer analysis algorithm that automatically adjusts
its precision in response to the needs of client analyses. Using five significant error detection …
its precision in response to the needs of client analyses. Using five significant error detection …
[图书][B] Embedded systems and software validation
A Roychoudhury - 2009 - books.google.com
Modern embedded systems require high performance, low cost and low power
consumption. Such systems typically consist of a heterogeneous collection of processors …
consumption. Such systems typically consist of a heterogeneous collection of processors …
Rapid application development for database-aware applications
A Ahadian, SA Brodsky, RB Nin, S Surange - US Patent 8,392,880, 2013 - Google Patents
Embodiments of the invention provide application development tools that allow developers
to rapidly build database-aware applications and database unit tests. Embodiments of the …
to rapidly build database-aware applications and database unit tests. Embodiments of the …
Extensible rapid application development for disparate data sources
A Ahadian, SA Brodsky, A Dawra, V Jayakumar… - US Patent …, 2013 - Google Patents
Embodiments of the invention provide an IDE tool that provides rapid application
development features for a variety of disparate data sources. Further, developers may …
development features for a variety of disparate data sources. Further, developers may …
Processing database queries embedded in application source code from within integrated development environment tool
SA Brodsky, A Jamshidi, RB Nin, BG Payton… - US Patent …, 2016 - Google Patents
Embodiments of the invention provide database integration within an integrated
development environment (IDE) tool for displaying database structure and other database …
development environment (IDE) tool for displaying database structure and other database …
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems
The widespread real-time and embedded systems are mostly interrupt-driven because their
heavy interaction with the environment is often initiated by interrupts. With the interrupt …
heavy interaction with the environment is often initiated by interrupts. With the interrupt …
Detecting and displaying errors in database statements within integrated development environment tool
A Ahadian, SA Brodsky, A Jamshidi, RB Nin… - US Patent …, 2013 - Google Patents
Embodiments of the invention provide database integration Within an integrated
development environment (IDE) tool for displaying database structure and other database …
development environment (IDE) tool for displaying database structure and other database …
[图书][B] Formal verification of device drivers in embedded systems
J Duan - 2013 - search.proquest.com
Embedded systems are often deployed in a variety of mission-critical fields, such as car
control systems, the artificial pace maker, and the Mars rover. There is usually significant …
control systems, the artificial pace maker, and the Mars rover. There is usually significant …
Database connectivity and database model integration within integrated development environment tool
A Ahadian, SA Brodsky, A Jamshidi, RB Nin… - US Patent …, 2015 - Google Patents
6,658,646 6,799,184 6,799,718 7,047,518 7,054,924 7,072,983 7,076,772 7,086,009
7,107,578 7,110,936 7,137,100 7,240,340 7,251,669 7,350,192 7,421,680 7,516,128 …
7,107,578 7,110,936 7,137,100 7,240,340 7,251,669 7,350,192 7,421,680 7,516,128 …
iDola: Bridge modeling to verification and implementation of interrupt-driven systems
In real-time embedded applications, interrupt-driven systems are widely adopted due to strict
timing requirements. However, development of interrupt-driven systems is time-consuming …
timing requirements. However, development of interrupt-driven systems is time-consuming …