27 citations · 77 across the 18 of their papers we have counts for
19 papers
Towards an Approach to Pattern-based Domain-Specific Requirements Engineering
T. Chuprina, D. Méndez, V. Nigam +2
Requirements specification patterns have received much attention as they promise to guide the structured specification of natural language requirements. By using them, the intentio…
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
Vivek Nigam, Carolyn Talcott
Cyber-physical systems (CPSes), such as autonomous vehicles, use sophisticated components like ML-based controllers. It is difficult to provide evidence about the safe functioning…
Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns
Yuri Gil Dantas, Vivek Nigam
During the design of safety-critical systems, safety and security engineers make use of architecture patterns, such as Watchdog and Firewall, to address identified failures and thr…
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
This paper develops a Multiset Rewriting language with explicit time for the specification and analysis of Time-Sensitive Distributed Systems (TSDS). Goals are often specified usin…
Security Engineering for ISO 21434
Yuri Gil Dantas, Vivek Nigam, Harald Ruess
The ISO 21434 is a new standard that has been proposed to address the future challenges of automotive cybersecurity. This white paper takes a closer look at the ISO 21434 helping e…
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns
Yuri Gil Dantas, Antoaneta Kondeva, Vivek Nigam
The development of safety-critical systems requires the control of hazards that can potentially cause harm. To this end, safety engineers rely during the development phase on archi…