Looper https://repo.valu3s.eu/tools/improved-developed-tool/looper https://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png Looper Logo No image Main partner/Developer Tool developer Brno University of Technology (Faculty of Information Technology, Czech republic) with expertise (among others) in automated analysis and verification Tool Link Link to website/github (URL) with more detailed information (optional) Tool partners Non-owner organizations associated with the tool (partners/distributors) Improved/Developed Tool Select if it is a new tool (developed) or an improved tool Improved Tool description A detailed description of the tool Looper is static code analyser that aims at performance problems. Technical toolchains Technical connection of tools with their supporting tools. Example: for running a specific tool, you need to run/install this other tool(s) (e.g., CHESS-FLA CHESS, MoMuT Enterprise Architect, etc) Facebook Infer Description of the improvements Description of the improvements and novelties added during VALU3S/Baseline Looper enables performance analysis with support of inter-procedural analysis. Improvement date New Improvements To be filled in the future (after VALU3S) References Related papers, journals, articles, and so on Relationships with other web-repo artefacts Related V&V Methods A tool could be based on several V&V methods. Source Code Static Analysis Static code analysis strives to analyse programs without executing them at all (i.e., purely on the syntactic level) or at least without executing them under the original semantics, meaning that some abstract semantics is used. There exist many different forms of static analysis based, e.g., on syntactic error patterns, data-flow analysis, extended type and effect analysis, abstract interpretation, or symbolic execution. Standards A method can be linked with standards. DO-178C (DO-333) Software Considerations in Airborne Systems and Equipment Certification. Use cases Use cases where the tool has been used UC1 - Intelligent Traffic Surveillance Wihin the use case, CAMEA is planning to investigate smart and mostly wireless sensors (cameras, radars, etc.) in terms of testing and verification of quality requirements such as reliability and security for applications built on the Unicam platform. The VALU3S framework shall be used as an input generator covering various potentially interesting situations as data collection in real traffic environments is costly and does not guarantee full coverage of the input space. This could be problematic when training ML-based algorithms for safety critical systems, i.e., novel approaches to support robustness must be explored. Based on this, within the framework, the behaviour of such systems will be analysed, tested and validated against defined targets (e.g. dependability or trustworthiness). This should result in decreased development effort and subsequent deployment, and result in better maintainability of systems in the field. Functional Toolchain Functional connection of tools for the implementation of a specific evaluation scenario/workflow. Example: the output of one tool can be used by the other tool(s) in order to obtain a different information (e.g., CIROS FERAL, MARVER >-> SRVT, etc) Improvement Classification Evaluation Criteria for Safety, Cybersecurity, and Privacy (SCP) Number of safety/security requirement violations Evaluation Criteria for V&V Processes Open source - Goals open Source Yes Goals Tool goals Safety, Functional Requirements Contents There are currently no items in this folder.
