Existing standards for airborne-embedded software systems impose a number of requirements applicable to the software development cycle of hard real-time operating systems found in modern aircraft. The measures taken a...
详细信息
In the development of modern cockpits, there is a trend towards the use of large displays that combine information about air navigation and the status of aircraft equipment. Flight and equipment performance informatio...
详细信息
Exception handling is a widely used runtime error management method in object-oriented languages, especially C#, where it is deeply embedded in the standard library (CoreFX). Accurate and efficient exception analysis ...
详细信息
ISBN:
(纸本)9781665423311
Exception handling is a widely used runtime error management method in object-oriented languages, especially C#, where it is deeply embedded in the standard library (CoreFX). Accurate and efficient exception analysis is an important requirement for an industrial-level static analyzer. We propose a novel approach to manage exceptions while performing static symbolic execution of C# programs, which is able to process the newest features of the language, such as catch filters. In contrast to the approaches implemented in other static analysis tools, it is much more accurate, because it is path-sensitive thanks to consideration of exception conditions, field- and object-sensitive thanks to the representation of separate exceptions and its fields with distinct symbolic values. We evaluate our approach on a large set of open source projects having 4.2 mln LOC and nearly 2000 reviewed warnings of different types.
Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate k...
详细信息
ISBN:
(纸本)9781479985487
Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate kinds process for development different PS. Ontological approach to presentation LC model of the standard ISO/IEC 12207-2007 is included the specification of general, organizational and support processes. These processes are presented in the subject-oriented DSL, which than transformed to XML for realization. One of the processes, the testing process is given in terms of Protégé systems. An eventual result of this system Protégé got generally at accepted to the XML, suitable for implementation tasks testing PS on computer.
Many modern static analysis tools provide toolkits that allow creation of custom checkers by end users. The majority of existing solutions choose AST-based approaches to provide a simpler declarative API. Solutions ba...
详细信息
ISBN:
(数字)9798331504663
ISBN:
(纸本)9798331504670
Many modern static analysis tools provide toolkits that allow creation of custom checkers by end users. The majority of existing solutions choose AST-based approaches to provide a simpler declarative API. Solutions based on dataflow analysis or symbolic execution use complex explicit APIs that require much more expertise to achieve decent results compared to AST-based checkers. Even though the latter approach is much more powerful simplicity of the former made it much more *** this paper we introduce SvaceAPI a tool to write checkers based on symbolic execution in a declarative way. We describe a simple pattern-based API that leverages symbolic execution and attributes provided by Svace. Testing the API on a couple of checkers and open source programs across the variety of languages showed the same quality results as for built-in Svace checkers without noticeable performance regressions.
We consider a family of linear operators, diagonalized by the Hankel transform. The Fredholm determinants of these operators, restricted to L2[0, R], are expressed in a convenient form for asymptotic analysis as R → ...
详细信息
Finding a short path between two given points lying on the polyhedron is an actual problem arising in various applications in science and technology;polyhedron faces without any restrictions can be considered triangul...
详细信息
In the development of modern cockpits, there is a trend towards the use of large displays that combine information about air navigation and the status of aircraft equipment. Flight and equipment performance informatio...
详细信息
ISBN:
(纸本)9781665423311
In the development of modern cockpits, there is a trend towards the use of large displays that combine information about air navigation and the status of aircraft equipment. Flight and equipment performance information generated by multiple flight control systems should be graphically displayed in an easy-to-read form on widescreen multifunction displays. It is usually generated by independent systems whose output must not interfere with each other in accordance with the requirements of the ARINC 653 standard. This paper presents a solution to the problem of displaying ARINC 653 applications, which further improves security and portability, when running multiple applications on a single screen of one physical device.
The article presents a study of the syntactic compatibility of verbs of motion in the Vakh dialect of the Khanty language. The study was conducted with the help of the tools of the platform for documentation of the Ur...
详细信息
The paper deals with the development of the method of activity and the realization of the intelligent agent (IA) for semantic analysis of the natural language software requirements. This IA performs the analysis of th...
详细信息
ISBN:
(纸本)9781728140704
The paper deals with the development of the method of activity and the realization of the intelligent agent (IA) for semantic analysis of the natural language software requirements. This IA performs the analysis of the requirements, determines the number and percentage of missing indicators for determining the metrics of complexity and quality of software, displays which indicators are missing for each metric, and also forms the real ontology of the domain "Software Engineering" (part "Quality and complexity of software. Metric analysis"). During an experiment, which is conducted with the help of the realized IA, the semantic analysis of requirements for the Internet of Things (IoT)-system was performed. Such analysis provides an increase of the volume and ensures of the sufficiency of metric information in the software requirements, which, in turn, provides an improvement in the quality of the software of IoT-system.
暂无评论