检索结果-内蒙古大学图书馆

26th International Conference on Computer Graphics and Vision, GraphiCon 2016

作者： Petrishchev, Konstantin Kazakov, Konstantin Semenov, Vitaly Institute for System Programming Russian Academy of Sciences Moscow Russia

Visual spatial-temporal (4D) modeling technologies play an important role in the realization of complex construction projects and programs facing the problems of trustworthy planning, advanced communication among stakeholders, better utilization of critical resources and effective coordination of works. Popular commercial 4D modeling systems provide basic functionality to simulate project activities in space dimensions and across time, but are still limited in validation of project schedules against possible spatial-temporal conflicts, particularly, in identification of such situations as missing supporting neighbouring elements and unsteady element placement. In this paper an approach is proposed to validate construction project schedules based on spatial-temporal reasoning formalisms and methods. We provide a brief overview of currently available qualitative spatial reasoning calculi and argue the need of advanced directional relations. Three sorts of advanced directional relations have been proposed and discussed in conformity to the declared validation problems and developed methods. As expected, their introduction into industry would enable anticipation and avoidance of potential problems at earlier planning phases and would allow reducing risks and waste at final construction phases often undergone delays and reworks. © Proceedings of the 26th International Conference on Computer Graphics and Vision, GraphiCon 2016. All rights reserved.

关键词： Computer vision

来源：评论

学校读者我要写书评

暂无评论

Static analysis usage for customizable semantic checks of C and C++ programming languages constraints

Static analysis usage for customizable semantic checks of C ...

引用

7th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014

作者： Ignatyev, Valery Institute for System Programming Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9780769551944

We propose the formal model of programming language constraints, which allows specifying stylistic, syntax and contextual rules. We also give the classification of those constraints. We describe the developed program model and the set of static analysis algorithms for the analyzer subsystem that implements automatic constraints checking and describe the implementation of the proposed formalizations in the Clang open source compiler. © 2014 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Early creation of cross toolkits for embedded systems

Early creation of cross toolkits for embedded systems

引用

1st International Workshop on Networked Embedded and Control system Technologies: European and russian R and D Cooperation - NESTER 2009 In Conjunction with ICINCO 2009

作者： Pakulin, Nikolay Rubanov, Vladimir Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9789896740047

Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them as early as at the hardware/software codesign stage, which becomes an important success factor for the entire project. Challenging issues for cross toolkits development is efficiency of simulation and CPU instruction set alterations at the design phase. Developing cross toolkits in C/C++ produces highly efficient tools but requires extensive rework to keep up with instruction set changes. Approaches based on automatic toolkit generation from some top level specifications in Architecture Description Languages (ADLs) are less sensitive to this problem but they produce inefficient tools, especially simulators. This paper introduces a new approach to cross toolkits development that combines the flexibility of ADL and efficiency of CIC++ based approaches. This approach was implemented in the MetaDSP framework, which was successfully applied in several industrial projects.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Deriving tests for the synchronous composition of deterministic complete Finite State Machines 20

Deriving tests for the synchronous composition of determinis...

引用

20th Conference Scientific Services and Internet, SSI 2018

作者： Burdonov, I.B. Evtushenko, N.V. Kossatchev, A.S. Ivannikov Institute for System Programming Russian Academy of Sciences Russia

The paper is devoted to deriving tests with guaranteed fault coverage for Finite State Machines (FSM). FSMs and their compositions are widely used when deriving tests for various systems, including interactive services, and the synchronous composition describes the behavior of a multi modular system when all the channels are active at each time instance. Without loss of generality, we assume that an output port of each FSM component is connected with at most one input port of another FSM component and propose a simplified approach for deriving the synchronous composition of deterministic complete FSMs using well known operators over FSMs. We also extend the sufficient conditions for checking the closure of the synchronous composition operator with respect to deterministic complete FSMs showing that for the operator closure it is sufficient that each composition cycle contains a Moore pair, i.e., a pair of some component FSM such that outputs do not significantly depend on inputs (Moore condition). If a system under test has the same structure as the reference composition and faults of component FSMs do not break the Moore condition, then a transition tour of the composed FSM is a good quality test when component states can be observed (testing with open state). We also propose how to derive a test with guaranteed fault coverage for a component FSM of our interest when states cannot be observed under the condition that input and output ports of a component under test can still be observed. © 2018 CEUR-WS. All rights reserved.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

ISE language: The ADL for efficient development of cross toolkits

ISE language: The ADL for efficient development of cross too...

引用

1st International Workshop on Model Based Architecting and Construction of Embedded systems, ACES-MB 2008 - Held as Part of the 2008 11th International Conference on Model Driven Engineering Languages and systems, MoDELS 2008

作者： Pakulin, Nikolay Rubanov, Vladimir Institute for System Programming Russian Academy of Sciences Moscow Russia

Cross toolkits (assembler, linker, debugger, simulator, profiler) are widely used for software-hardware codesign;an early creation of cross toolkits is an important success factor for industrial embedded systems. At the hardware design stage systems are subject to significant design alterations including changes in the instruction set of target CPUs. This is a challenging issue for early cross toolkit development. In this paper, we present a new Architecture Description Language (ADL) called ISE language and an approach to early cross toolkit development to cope with hardware design changes. The paper introduces the MetaDSP framework that supports ISE-based construction of cross toolkits and gives brief overview of the MetaDSP applications to industrial projects that proves the industrial strength of the presented approach and tools.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

The verification of tunnel methods of the Extensible Authentication Protocol (EAP) 20

The verification of tunnel methods of the Extensible Authent...

引用

20th Conference Scientific Services and Internet, SSI 2018

作者： Nikeshin, A.V. Shnitman, V.Z. Ivannikov Institute for System Programming Russian Academy of Sciences Russia

In modern networks one of the main mechanisms of information security is the establishing of a secure tunnel and transmitting data under the protection of that tunnel. The same mechanism is used in some authentication protocols. Extensible Authentication Protocol (EAP) provide an effective flexible authentication mechanism, that can be easily expanded with new authentication methods. A tunnel-based methods of EAP executes various EAP methods under the protection of the secure tunnel. There are several tunnel-based EAP methods: Protected EAP (PEAP), EAP Tunneled TLS Authenticated Protocol (EAP-TTLS), EAP Flexible Authentication via Secure Tunneling (EAP-FAST), Tunnel EAP (TEAP). They all use Transport Layer Security protocol (TLS) to establish the secure tunnel. This paper presents approachs and results of verification of some tunnel-based methods of EAP Protocol using UniTESK technology and our team developments in testing network protocols. UniTESK technology allows to automate the process of test construction and evaluate whether an implementation conforms to the specification. Additional methods allow to send incorrect packets in each meaningful states of the protocol. © 2018 CEUR-WS. All rights reserved.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Optimization of the design flow of the system on a K64-RIO crystal manufactured using the 0.18 μm technology

引用

russian Microelectronics 2012年第3期41卷 213-219页

作者： Vlasov, A.O. Evlampiev, B.E. Kirichenko, P.G. Kochnov, A.A. Scientific-Research Institute for System Studies Russian Academy of Science Russia

In the process of developing a high-performance system on a crystal, the standard design flow proposed by CAD suppliers has been substantially changed and expanded due to the application of new design methods and the use of independently developed custom blocks. These changes made it possible to solve the following important problems: optimization of the area, with the performance at the stage of synthesis being preserved up to 20%, which improves the quality of the placement and design routability during layout designing;construction of a power grid providing a voltage drop not greater than 6.6% of the rated voltage;automation of the process of reaching the required performance and optimization of a number of layout stages yielding a decrease by a factor of 2-3 in the time of routing and improving the design quality from the standpoint of such parameters as noise immunity and performance. © 2012 Pleiades Publishing, Ltd.

关键词： Computer aided design

来源：评论

学校读者我要写书评

暂无评论

Robust Resource Partitioning Approach for ARINC 653 RTOS

Robust Resource Partitioning Approach for ARINC 653 RTOS

引用

2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023

作者： Cheptsov, Vitaly Khoroshilov, Alexey Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9798350349993

Modern airborne operating systems implement the concept of robust time and resource partitioning imposed by the standards for aerospace and airborne-embedded software systems, such as ARINC 653. While these standards do provide a considerable amount of design choices in regards to resource partitioning on the architectural and API levels, such as isolated memory spaces between the application partitions, predefined resource configuration, and unidirectional ports with limited queue and message sizes for inter-partition communication, they do not specify how an operating system should implement them in software. Furthermore, they often tend to set the minimal level of the required guarantees, for example, in terms of memory permissions, and disregard the hardware state of the art, which presently can provide considerably stronger guarantees at no extra cost. In the paper we present an architecture of robust resource partitioning for ARINC 653 real-time operating systems based on completely static MMU configuration. The architecture was implemented on different types of airborne hardware, including platforms with TLB-based and page table-based MMU. Key benefits of the proposed approach include minimised run-time overhead and simpler verification of the memory subsystem. © 2023 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Model based tool chain for system design and system integration of IMA

Model based tool chain for system design and system integrat...

引用

DAta systems In Aerospace, DASIA 2012

作者： Khoroshilov, Alexey Koverninskiy, Igor Olshanskiy, Mikhail Petrenko, Alexander Ugnenko, Alexander Institute for System Programming of Russian Academy of Sciences Russia GosNIIAS Russia

The paper presents a model-based tool chain for system design and system integration of integrated modular avionics in civil aviation domain. It describes architecture of the tool chain, its current state, use cases s... 详细信息

ISBN: (纸本)9789290922650

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

Simulation of Vortex Interaction with a Shock Wave for Testing Numerical Algorithms

引用

Mathematical Models and Computer Simulations 2023年第2期15卷 277-288页

作者： Kirushina, M.A. Elizarova, T.G. Epikhin, A.S. Keldysh Institute of Applied Mathematics Russian Academy of Sciences Moscow Russian Federation Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russian Federation

Abstract: The results of numerical simulation of the problem of the interaction of a vortex flow with a shock wave are presented on the example of using a quasi-gas dynamic (QGD) numerical algorithm, which is implemented as the QGDFoam solver. The algorithm is based on regularized equations of gas dynamics. The algorithm is implemented in the OpenFOAM open software package. The results are compared with the published data obtained based on the Godunov type method of a high order of accuracy and variants of the Kurganov–Tadmor method included in the open software package. © 2023, Pleiades Publishing, Ltd.

关键词： control volume method nonstationary supersonic ideal gas flow OpenFOAM package quasi-gas dynamic algorithm

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：