{"id":"W3113301275","doi":"10.1016/j.jss.2020.110881","title":"Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization","year":2020,"lang":"en","type":"article","venue":"Journal of Systems and Software","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"European Research Council; Université du Luxembourg","keywords":"Completeness (order theory); Taxonomy (biology); Property (philosophy); System requirements specification; Aerospace; Software requirements specification","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002413341,0.000898434,0.001099328,0.006107818,0.001083007,0.00542498,0.001604166,0.001683113,0.002168834],"category_scores_gemma":[0.008511424,0.0005286754,0.001817286,0.003421585,0.004239678,0.008791841,0.001580199,0.001922933,0.000426008],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001224508,"about_ca_system_score_gemma":0.001371745,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008618364,"about_ca_topic_score_gemma":0.0004879217,"domain_scores_codex":[0.9972326,0.0004336027,0.0005278721,0.0004825579,0.001139336,0.0001840978],"domain_scores_gemma":[0.9903399,0.005809209,0.001192035,0.001273817,0.001167491,0.0002174904],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000110243,0.0001683996,0.004926729,0.0008111729,0.00008900758,0.0006389256,0.0007726603,0.01653629,0.007783114,0.9018081,0.0009031842,0.06545221],"study_design_scores_gemma":[0.00003349828,0.0002258717,0.003201419,0.0003309616,0.0001376517,0.001535858,0.0004512383,0.1137537,0.007849084,0.85775,0.01465188,0.00007893127],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07627764,0.005289829,0.8980472,0.0009879672,0.0001214043,0.0003454931,0.0007710494,0.0006621483,0.01749725],"genre_scores_gemma":[0.7079834,0.005030595,0.2817985,0.000355685,0.0003851487,0.000486673,0.001022366,0.0001231096,0.002814635],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006107818,"threshold_uncertainty_score":0.01276314,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06730184173844211,"score_gpt":0.2426470715689955,"score_spread":0.1753452298305534,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}