Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Dhananjay M. Anand

dblp:05/10385 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2018
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 70% Electronic design automation · 23% Reconfigurable computing and FPGAs · 7%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Embedded and real-time systems
cyber-physical systems
0.312018
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018
Electronic design automation › hardware verification and test
hardware verification
0.312018
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018
Embedded and real-time systems › runtime monitoring
runtime verification
0.312018
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018
Embedded and real-time systems › runtime monitoring
timing constraint monitoring
0.312018
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018
Reconfigurable computing and FPGAs
FPGA-based monitoring
0.112018
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018

Methods — techniques the papers use, named apart from their topics

timestamp temporal logic · 0.3
YearPublicationVenuePosition
2018 An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems
abstract
Formal specifications on temporal behavior of Cyber-Physical Systems (CPS) is essential for verification of performance and safety. Existing solutions for verifying the satisfaction of temporal constraints on a CPS are compute and resource intensive since they require buffering signals from the CPS prior to constraint checking. We present an online approach, based on Timestamp Temporal Logic (TTL), for monitoring the timing constraints in CPS. The approach reduces the computation and memory requirements by processing the timestamps of pertinent events reducing the need to capture the full data set from the signal sampling. The signal buffer size bears a geometric relationship to the dimension of the signal vector, the time interval being considered, and the sampling resolution. Since monitoring logic is typically implemented on Field Programmable Gate Arrays (FPGAs) for efficient monitoring of multiple signals simultaneously, the space required to store the buffered data becomes the limiting resource. The monitoring logic, for the timing constraints on the Flying Paster (a printing application requiring synchronization between two motors), is illustrated in this paper to demonstrate a geometric reduction in memory and computational resources in the realization of an online monitor.
Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li-Baboud, Patricia Derler, Edward R. Griffor, Hugo A. Andrade, Marc Weiss, John C. Eidson, Dhananjay M. Anand
DAC11