<p style='text-indent:20px;'>This paper is devoted to rolling motions of one manifold over another of equal dimension, subject to the nonholonomic constraints of no-slip and no-twist, assuming that these motions occur inside a pseudo-Euclidean space. We first introduce a definition of rolling map adjusted to this situation, which generalizes the classical definition of Sharpe [<xref ref-type="bibr" rid="b26">26</xref>] for submanifolds of an Euclidean space. We also prove some important properties of these rolling maps. After presenting the general framework, we analyse the particular rolling of hyperquadrics embedded in pseudo-Euclidean spaces. The central topic is the rolling of a pseudo-hyperbolic space over the affine space associated with its tangent space at a point. We derive the kinematic equations, as well as the corresponding explicit solutions for two specific cases, and prove the existence of a rolling map along any curve in that rolling space. Rolling of a pseudo-hyperbolic space on another and rolling of pseudo-spheres are equally treated. Finally, for the central theme, we write the kinematic equations as a control system evolving on a certain Lie group and prove its controllability. The choice of the controls corresponds to the choice of a rolling curve.</p>

No abstract

No abstract

Aspect-oriented software development claims to improve several software engineering principles, such as modularization, abstraction and composition. The Aspect for the Space Domain project (ASSD) developed a metadata-driven approach for aspect-oriented requirements analysis. The main objectives of the ASSD project, funded by the European Space Agency , were to study the applicability and usefulness of aspect-orientation for the space domain (ground segment software projects in particular), focusing on the early stages of the software development life cycle. Therefore, this paper describes a rigorous representation for requirements analysis concepts, refines an approach for handling early aspects, and proposes a client/server architecture based on a metadata repository. The ASSD approach has been validated with two space domain case studies.

No abstract