Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
Topics & Concepts
Computer scienceCompleteness (order theory)Taxonomy (biology)Property (philosophy)System requirements specificationAerospaceSoftware requirements specificationSoftwareFormal specificationTemporal logicSoftware engineeringArtificial intelligenceSpecification languageRequirements analysisData miningVariation (astronomy)Programming languageSystems engineeringFormal Methods in VerificationEmbedded Systems Design TechniquesReal-Time Systems Scheduling