SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings

This is the proceedings of the 2004 SAVCBS workshop. The workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component-based systems. Component-based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component-based specification and verification is also vital for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop considers formalization of both functional and non-functional behavior, such as performance or reliability

Advances in Computer Science and Engineering

The book Advances in Computer Science and Engineering constitutes the revised selection of 23 chapters written by scientists and researchers from all over the world. The chapters cover topics in the scientific fields of Applied Computing Techniques, Innovations in Mechanical Engineering, Electrical Engineering and Applications and Advances in Applied Modeling

Data bases and data base systems related to NASA's aerospace program. A bibliography with indexes

This bibliography lists 1778 reports, articles, and other documents introduced into the NASA scientific and technical information system, 1975 through 1980

Using MapReduce Streaming for Distributed Life Simulation on the Cloud

Distributed software simulations are indispensable in the study of large-scale life models but often require the use of technically complex lower-level distributed computing frameworks, such as MPI. We propose to overcome the complexity challenge by applying the emerging MapReduce (MR) model to distributed life simulations and by running such simulations on the cloud. Technically, we design optimized MR streaming algorithms for discrete and continuous versions of Conway’s life according to a general MR streaming pattern. We chose life because it is simple enough as a testbed for MR’s applicability to a-life simulations and general enough to make our results applicable to various lattice-based a-life models. We implement and empirically evaluate our algorithms’ performance on Amazon’s Elastic MR cloud. Our experiments demonstrate that a single MR optimization technique called strip partitioning can reduce the execution time of continuous life simulations by 64%. To the best of our knowledge, we are the first to propose and evaluate MR streaming algorithms for lattice-based simulations. Our algorithms can serve as prototypes in the development of novel MR simulation algorithms for large-scale lattice-based a-life models.https://digitalcommons.chapman.edu/scs_books/1014/thumbnail.jp

Optimal Partitioning and Coordination Decisions in Decomposition-based Design Optimization.

Successful design of complex modern products is a grand challenge for design organizations. The task is becoming increasingly important due to economic competition and concern over safety, reliability, and energy efficiency. Automotive and aerospace products, for example, are composed of numerous interdependent subsystems with a level of complexity that surpasses the capability of a single design group. A common approach is to partition complex design problems into smaller, more manageable design tasks that can be solved by individual design groups. Effective management of interdependency between these subproblems is critical, and a successful design process ultimately must meet the needs of the overall system. Decomposition-based design optimization techniques provide a mathematical foundation and computational tools for developing such design processes. Two tasks must be performed so that decomposition-based design optimization can be used to solve a system design problem: partitioning the system into subproblems, and determining a coordination method for guiding subproblem solutions toward the optimal system design. System partition and coordination strategy have a profound impact on the design process. The effect of partitioning and coordination decisions have been studied independently, while interaction between these decisions has been largely ignored. It is shown here that these two sets of decisions do interact: how a system is partitioned influences appropriate coordination decisions, and vice versa. Consequently, addressing partitioning and coordination decisions simultaneously leads to improved system design processes. The combined partitioning and coordination decision problem is a difficult combinatorial problem. An evolutionary algorithm that solves this decision problem effectively is presented. The set of all partitioning and coordination options for a specific formulation framework, augmented Lagrangian coordination (ALC), is derived, and a method for choosing Pareto-optimal solutions from amongst these options is described. Concepts and techniques are demonstrated using several engineering example problems. A detailed model for an electric vehicle design problem is presented that considers three vehicle systems: powertrain, chassis, and structure, and partitioning and coordination decisions for this problem are analyzed.Ph.D.Mechanical EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/58449/1/jtalliso_1.pd