Formal methods are experiencing a renaissance, especially in the development of safety-critical systems. An indicator for this is the fact that more and more standards either recommend or prescribe the use of formal methods. Using formal methods on an industrial scale requires their integration into the system engineering process. This paper is exploring how an integrated tool chain that suppor...

Asteroids can be eclipsed by other bodies in the Solar System, but no direct observation of an asteroid eclipse has been reported to date. We describe a statistical method to predict an eclipse for an asteroid based on the analysis of the orbital elements covariance matrix. By propagating a set of Virtual Asteroids to an epoch correspondent to a close approach with a Solar System planet or natu...

Open Source parsers that support contemporary C/C++, can recover from errors, include a preprocessor, and that are actively maintained, are rare. This work describes how to use the parser contained in the Eclipse C/C++ Development Tooling (CDT) as a Java library. Such parser provides not only the abstract syntax tree of the parsed le but also the semantics, i.e., type information and bindings. ...

Something is about to happen in Nashville, Tennessee, that has not happened since Andrew Johnson was president of the United States in 1865. The time before that was Christmas Day 1628: the year Charles I of England granted a land charter to the Massachusetts Bay Colony. And the next occurrence will not take place until August 2566, some 549 years hence. You get the picture! On Monday, August 2...

Previous attempts to detect Eclipse-induced acoustic gravity waves (AGWs) have met with varying degrees of success. In this study the speed and direction of the waves have been determined at two widely spaced locations by an HF Doppler technique. The AGW activity following the eclipse was different to the background waves detected before the event in amplitude, speed and direction. The velocity...

This paper presents the Eclipse-11, a new six degree-offreedom parallel mechanism, which can be used as a basis for general motion simulators. The Eclipse-I1 is capable of x, y and z-axis translations and a, b and c-axis rotations. In particular, it has the advantage of enabling continuous 360-degree spinning of the platform. The computational procedures for forward and inverse kinematics of th...

Can you name a science event that will engage 100 million people? I can: total eclipse of the Sun. NASA surveys found many people saw 2017 Great American Eclipse, either in person or online. In 2023 and 2024, two solar eclipses be visible throughout US, we have great opportunity to enable students others enjoy rare spectacle (Fig. 1). This article is help prepare yourself, students, friends, ne...

The usability of a user interface is often neglected in the design and development of software applications. An Integrated Development Environment (IDE) is prone to poor usability problems due to the rich functionality offered through its User Interface (UI). Since an IDE targets a wide range of users (from novice to expert users), the usability requirement for an IDE vary considerably. Novice ...

In this paper, we introduce a new operating system abstraction called reservation domains, and describe its implementation in Eclipse, an experimental operating system that provides a testbed for Quality of Service (QoS) support for applications. Reservation domains enable explicit control over the provisioning of system resources among applications in order to achieve desired levels of predict...

The products of phiX cistrons II, III, and VII are demonstrated to affect the attachment of the phage to its host Escherichia coli C; therefore, by inference, these cistrons influence, directly or indirectly, the structure of proteins in the virus particle. Two of the mutations which alter attachment kinetics, ts79 in cistron III and h in cistron VII, also affect the electrophoretic mobility of...