Error checking with client-driven pointer analysis

SZ Guyer, C Lin - Science of Computer Programming, 2005 - Elsevier
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 …

[图书][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 …

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 …

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 …

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 …

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems

M Pan, S Chen, Y Pei, T Zhang… - 2019 IEEE/ACM 41st …, 2019 - ieeexplore.ieee.org
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 …

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 …

[图书][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 …

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 …

iDola: Bridge modeling to verification and implementation of interrupt-driven systems

H Liu, H Zhang, Y Jiang, X Song… - … Theoretical Aspects of …, 2014 - ieeexplore.ieee.org
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 …