Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.
Silky AroraAmbar A. GadkariS. RameshPublished in: IEEE Embed. Syst. Lett. (2011)
Keyphrases
- requirements engineering
- constraint language
- requirements specification
- constraint satisfaction
- constrained optimization
- application specific
- real time
- geometric constraints
- user requirements
- high level
- automotive industry
- constraint programming
- conceptual model
- user defined
- constraint satisfaction problems
- global constraints
- resource constraints
- video sequences
- dynamic constraints
- case study