A Supporting Tool for Development of Self-Measurement Ada Programs

Nonaka, Youichi; Cheng, Jingde; Ushijima, Kazuo

doi:10.1007/10722060_9

Cited by 4 publications

(4 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We must closely investigate whether the supporting tool of measurement specifications [12,13] and security policy enforcement [10], both of which are shown its implementability in some systems (not persistently reactive systems), can be applied to the SSB methodology. If it is not possible to apply, we must need the development of some new technologies or modification of these works.…”

Section: Discussionmentioning

confidence: 99%

“…If the specifications are rewritten, the SSB-connector recompile them. The basic idea underlying SSB-connectors is applying the supporting tool proposed by Nonaka et al [12,13] to the SSB methodology. Their supporting tool understand the measurement specifications for Ada programs and support systematic development of concurrent systems based on the self-measurement principle [2].…”

Section: A Framework Of Ssb-connectorsmentioning

confidence: 99%

“…Their supporting tool understand the measurement specifications for Ada programs and support systematic development of concurrent systems based on the self-measurement principle [2]. In the measurement specifications, measurement points are described [12,13]. A measurement point is a location in a target program where an event concerning some attribute of an object specified by measuring and monitoring requirements occurs during an execution of the program.…”

Section: A Framework Of Ssb-connectorsmentioning

confidence: 99%

See 2 more Smart Citations

Security in Persistently Reactive Systems

Endo

Miura

Nanashima

et al. 2005

Embedded and Ubiquitous Computing – EUC 2005 Workshops

Self Cite

View full text Add to dashboard Cite

Abstract. From the viewpoints of dependable computing and ubiquitous computing, a new type of reactive systems, named Persistently Reactive Systems, was proposed. Persistently reactive systems cause some new security issues because of their continuous and persistent running without stopping their services. Based on the recognition that a persistently reactive systems can be constructed following the methodology of soft system buses, this paper defines security issues in persistently reactive systems with security requirements and security functions. To solve the issues, we propose a framework of SSB-connector, such that designers and developers can easily design and develop reliable and secure functional components of a persistently reactive system.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: A Framework Of Ssb-connectorsmentioning

confidence: 99%

Section: A Framework Of Ssb-connectorsmentioning

confidence: 99%

See 1 more Smart Citation

Security in Persistently Reactive Systems

Endo

Miura

Nanashima

et al. 2005

Embedded and Ubiquitous Computing – EUC 2005 Workshops

Self Cite

View full text Add to dashboard Cite

show abstract

“…This method may be the only hopeful way to obtain complete and sound dynamic slices of concurrent programs. Refer [40,41] to see what primary works have been done based on the self-measurement principle.…”

Section: Dynamic Slicing Of Concurrent Programs: Where Is the Right Way?mentioning

confidence: 99%

Uncertainty Problem in Dynamic Slicing of Concurrent Programs

Cheng

2009

2009 International Conference on Embedded Software and Systems

Self Cite

View full text Add to dashboard Cite

As long as a branch of science offers an abundance of problems, so long is it alive: a lack of problems foreshadows extinction or the cessation of independent development." --David Hilbert, 1900. AbstractAlthough both static and dynamic slicing of sequential programs have been applied to software engineering practices, there still are some challenges, problems, and issues in slicing concurrent programs, in particular, dynamic slicing of concurrent programs. This paper presents a methodological review of dynamic slicing methods for concurrent programs, points out that the most intrinsic problem in all existing dynamic slicing methods is the uncertainty problem, and shows a new research direction for dynamic slicing of concurrent programs. The paper proposes two basic criteria, i.e., completeness and soundness, for dynamic slicing of concurrent programs, and shows that we should develop a dependence/influence analysis method based on selfmeasurement principle to obtain complete and sound dynamic slices of concurrent programs.

show abstract

Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

Cheng

2006

Reliable Software Technologies – Ada-Europe 2006

View full text Add to dashboard Cite

A Supporting Tool for Development of Self-Measurement Ada Programs

Cited by 4 publications

References 6 publications

Security in Persistently Reactive Systems

Security in Persistently Reactive Systems

Uncertainty Problem in Dynamic Slicing of Concurrent Programs

Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

Contact Info

Product

Resources

About