Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012
The issue contains the papers presented at the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2012) held in Perm, Russia on 30th and 31st of May, 2012. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and research-in-progress papers were considered acceptable for the colloquium.
The topics of the colloquium include software development technologies, programming languages, testing and verification of computer systems, analysis of programs, information systems, image and video processing and others.
Nested Petri nets is an extension of Petri net formalism with net tokens for modelling multi-agent distributed systems with complex structure. Temporal logics, such as CTL, are used to state requirements of software systems behaviour. However, in the case of nested Petri nets models, CTL is not expressive enough for specification of system behaviour. In this paper we propose an extension of CTL with a new modality for specifying agents behavior. We define syntax and formal semantics for our logic, and give small examples of its usage.
The technologies based on applying a metamodeling and domain-specific languages are widely used at information systems developing. There are many different tools for creating graphical domain-specific language editors with a possibility of determining user’s graphical notations. However they possess disadvantages. The MetaLanguage system is designed to eliminate some of these shortcomings. MetaLanguage is a language workbench which provides creation of visual dynamic adaptable domain-specific modeling languages used in the development of information systems. In paper the approach to development of MetaLanguage DSM-platform is considered. Basic metalanguage constructions of this system are described. The mathematical multilevel domain model with usage of pseudo-metagraphs is constructed. Definitions of the graph and metagraph are given. The algorithm of vertical models transformations is described. The architecture and implementation of the development environment of MetaLanguage toolkit is presented.
The problem of search pertinence increasing with a low timecomplexity is one of the major research issues in Computer Science. Semantic search as an alternative solution to this problem has a high time complexity. This paper describes the use of agent-based approach to reduce the time complexity of constructing semantic indexes used for searching.
The article describes an approach to the metadata inclusion into Open XML and ODF documents. This metadata allows implement semantic indexing. The described solution is realized as a software library SemanticLib that provides a uniform access to documents in these formats.
The correctness of embedded systems software is of critical importance as invalid states can cause a physical damage to hardware. One of approaches to verification of such systems is using source code analyzers. The Static Driver Verifier Research Platform (SDVRP), which is based on Simultaneous Localization and Mapping (SLAM) and represents a tool that systematically analyzes source code and allows writing custom Specification Language for Interface Checking (SLIC) rules for various platforms, provided a potent verification mechanism for a thermal printer software system based on ARM Cortex-M0 microprocessor. An example of creating a custom platform plugin and rule verification is provided for the given embedded system.
Test program generation plays a major role in functional verification of microprocessors. Due to tremendous growth in complexity of modern designs and rigid constraints on time to market, it becomes an increasingly difficult task. In spite of powerful test program generators available in the market, development of functional tests is still known to be the bottleneck of the microprocessor design cycle. The common problem is that it takes significant effort to reconfigure a test program generation tool for a new microprocessor design. The model-based approach applied in the state-of-the-art tools, like Genesys-Pro, still does not provide enough flexibility since creating a microprocessor model is difficult and requires special knowledge and skills. The article suggests an approach to ease generator customization by using architecture specifications that describe the microprocessor behavior at a higher level. The approach is aimed at facilitating development of architecture models and, thus, minimizing time required to create functional tests. At the moment, we are working to implement a new generation of the test program generator MicroTESK that can be easily configured for various microprocessor architectures.