{"doi":"10.4230/oasics.wcet.2019.6","title":"Unknown","abstract":null,"journal":null,"year":null,"id":688875,"datarank":0.0,"base_score":0.0,"endowment":0.0,"self_citation_contribution":0.0,"citation_network_contribution":0.0,"self_endowment_contribution":0.0,"citer_contribution":0.0,"corpus_percentile":null,"corpus_rank":null,"citation_count":0,"citer_count":0,"citers_with_citation_signal":0,"citers_with_endowment":0,"datacite_reuse_total":1,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[],"reference_count":0,"raw_metadata":{"has_enrichment":true,"resolved":true,"title":"Validating Static WCET Analysis: A Method and Its Application","abstract":"WCET analysis is a key activity in the development of safety critical real-time systems. Whether upper bounds on WCETs are obtained using static analysis or measurements, the confidence on the compliance of a system with its temporal requirements directly depends on the confidence on these estimations. Static WCET analysis based on abstract interpretation takes benefits from its formal foundations. However, it also strongly depends on the correctness of the underlying models. We hereby show how we have validated the version of the data flow static analyser of OTAWA applied to the AURIX TC275 target processor.","is_dataset_classified":null,"base_score":0.0,"endowment":0.0,"datacite_reuse_total":1,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"26207759","pmcid":null,"openalex_id":"https://openalex.org/W2966015578","authors":[],"funders":[],"total_grants":0,"fwci":0.0,"citation_percentile":0.109,"influential_citations":0,"citation_trend":[],"oa_status":"green","license":"cc-by","oa_locations":[{"url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2019.6","host_type":"repository"},{"url":"https://oatao.univ-toulouse.fr/26311/1/sun_26311.pdf","host_type":"repository"},{"url":"https://hal.science/hal-02924072","host_type":"repository"},{"url":"https://doi.org/10.4230/oasics.wcet.2019.6","host_type":"journal"}],"fields_of_study":["Real-Time Systems Scheduling","Embedded Systems Design Techniques","Distributed systems and fault tolerance","Computer systems organization → Real-time systems"],"mesh_terms":[],"keywords":["validation of WCET tools","ISS","nML","Correctness","Static analysis","Abstract interpretation","Computer science","Analyser","Key (lock)","Static timing analysis","Embedded system","Algorithm","Programming language","Operating system"],"sdg_mappings":[],"linked_datasets":[{"doi":"10.4230/oasics.wcet.2019","title":"OASIcs, Volume 72, WCET'19, Complete Volume","publisher":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","resource_type":"ConferenceProceeding"}],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-08-19T20:03:04.770630Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}