5,421 research outputs found
Collaborative Verification-Driven Engineering of Hybrid Systems
Hybrid systems with both discrete and continuous dynamics are an important
model for real-world cyber-physical systems. The key challenge is to ensure
their correct functioning w.r.t. safety requirements. Promising techniques to
ensure safety seem to be model-driven engineering to develop hybrid systems in
a well-defined and traceable manner, and formal verification to prove their
correctness. Their combination forms the vision of verification-driven
engineering. Often, hybrid systems are rather complex in that they require
expertise from many domains (e.g., robotics, control systems, computer science,
software engineering, and mechanical engineering). Moreover, despite the
remarkable progress in automating formal verification of hybrid systems, the
construction of proofs of complex systems often requires nontrivial human
guidance, since hybrid systems verification tools solve undecidable problems.
It is, thus, not uncommon for development and verification teams to consist of
many players with diverse expertise. This paper introduces a
verification-driven engineering toolset that extends our previous work on
hybrid and arithmetic verification with tools for (i) graphical (UML) and
textual modeling of hybrid systems, (ii) exchanging and comparing models and
proofs, and (iii) managing verification tasks. This toolset makes it easier to
tackle large-scale verification tasks
Message sequence charts in the software engineering process
The software development process benefits from the use of Message Sequence Charts (MSC), which is a graphical language for displyaing the interaction behaviour of a system. We describe canonical applications of MSC independent of any software development methodology. We illustrate the use of MSC with a case study: the Meeting Scheduler
High-level programming of stencil computations on multi-GPU systems using the SkelCL library
The implementation of stencil computations on modern, massively parallel systems with GPUs and other accelerators currently relies on manually-tuned coding using low-level approaches like OpenCL and CUDA. This makes development of stencil applications a complex, time-consuming, and error-prone task. We describe how stencil computations can be programmed in our SkelCL approach that combines high-level programming abstractions with competitive performance on multi-GPU systems. SkelCL extends the OpenCL standard by three high-level features: 1) pre-implemented parallel patterns (a.k.a. skeletons); 2) container data types for vectors and matrices; 3) automatic data (re)distribution mechanism. We introduce two new SkelCL skeletons which specifically target stencil computations – MapOverlap and Stencil – and we describe their use for particular application examples, discuss their efficient parallel implementation, and report experimental results on systems with multiple GPUs. Our evaluation of three real-world applications shows that stencil code written with SkelCL is considerably shorter and offers competitive performance to hand-tuned OpenCL code
GILP: An Interactive Tool for Visualizing the Simplex Algorithm
The Simplex algorithm for solving linear programs-one of Computing in Science
& Engineering's top 10 most influential algorithms of the 20th century-is an
important topic in many algorithms courses. While the Simplex algorithm relies
on intuitive geometric ideas, the computationally-involved mechanics of the
algorithm can obfuscate a geometric understanding. In this paper, we present
gilp, an easy-to-use Simplex algorithm visualization tool designed to
explicitly connect the mechanical steps of the algorithm with their geometric
interpretation. We provide an extensive library with example visualizations,
and our tool allows an instructor to quickly produce custom interactive HTML
files for students to experiment with the algorithm (without requiring students
to install anything!). The tool can also be used for interactive assignments in
Jupyter notebooks, and has been incorporated into a forthcoming Data Science
and Decision Making interactive textbook. In this paper, we first describe how
the tool fits into the existing literature on algorithm visualizations: how it
was designed to facilitate student engagement and instructor adoption, and how
it substantially extends existing algorithm visualization tools for Simplex. We
then describe the development and usage of the tool, and report feedback from
its use in a course with roughly 100 students. Student feedback was
overwhelmingly positive, with students finding the tool easy to use: it
effectively helped them link the algebraic and geometrical views of the Simplex
algorithm and understand its nuances. Finally, gilp is open-source, includes an
extension to visualizing linear programming-based branch and bound, and is
readily amenable to further extensions.Comment: ACM SIGCSE 2023 Manuscript, 13 pages, 5 figure
SciTech News Volume 71, No. 1 (2017)
Columns and Reports From the Editor 3
Division News Science-Technology Division 5 Chemistry Division 8 Engineering Division Aerospace Section of the Engineering Division 9 Architecture, Building Engineering, Construction and Design Section of the Engineering Division 11
Reviews Sci-Tech Book News Reviews 12
Advertisements IEEE
Implementation of Quality of Service for Cloud based Application
The new trends in mobile devices and network technologies are improved so much. One of such improvement or trend is cloud computing and mobile computing. In future, these mobile devices are expected to switch between different network service providers, in order to maintain network connectivity all the time. So mobile devices can all time access Cloud services without any problem. In the current service delivery mechanism, users when move from one physical location to another, s/he continues access from the local Cloud of previous network only. Because of this huge amount of data has to move over the network for very long distance, which creates congestion in the network. This degrades the Quality of Service and Quality of Experience offered by the service. So, a new approach is needed to manage resources properly and provide improved QoS and QoE. This paper provides a novel framework that allows populating services, that run on localized Cloud, to the Cloud present at other geographical location. This will prevent network from high traffic load and will offer service providers an automated resource allocation and management mechanism for their service.
DOI: 10.17762/ijritcc2321-8169.150613
- …