An Object-Oriented Model for Extensible Concurrent Systems: the Composition-Filters Approach

Applying the object-oriented paradigm for the development of large and complex software systems offers several advantages, of which increased extensibility and reusability are the most prominent ones. The object-oriented model is also quite suitable for modeling concurrent systems. However, it appears that extensibility and reusability of concurrent applications is far from trivial. The problems that arise, the so-called inheritance anomalies are analyzed and presented in this paper. A set of requirements for extensible concurrent languages is formulated. As a solution to the identified problems, an extension to the object-oriented model is presented; composition filters. Composition filters capture messages and can express certain constraints and operations on these messages, for example buffering. In this paper we explain the composition filters approach, demonstrate its expressive power through a number of examples and show that composition filters do not suffer from the inheritance anomalies and fulfill the requirements that were established

Steps to an advanced Ada programming environment

Conceptual simplicity, tight coupling of tools, and effective support of host-target software development will characterize advanced Ada programming support environments. Several important principles have been demonstrated in the Arcturus system, including template-assisted Ada editing, command completion using Ada as a command language, and combining the advantages of interpretation and compliation. Other principles, relating to analysis, testing, and debugging of concurrent Ada programs, have appeared in other contexts. This paper discusses several of these topics, considers how they can be integrated, and argues for their inclusion in an environment appropriate for software development in the late 1980's

Towards model-driven engineering for mixed-criticality systems: multiPARTES approach

Mixed criticality systems emerges as a suitable solution for dealing with the complexity, performance and costs of future embedded and dependable systems. However, this paradigm adds additional complexity to their development. This paper proposes an approach for dealing with this scenario that relies on hardware virtualization and Model-Driven Engineering (MDE). Hardware virtualization ensures isolation between subsystems with different criticality levels. MDE is intended to bridge the gap between design issues and partitioning concerns. MDE tooling will enhance the functional models by annotating partitioning and extra-functional properties. System partitioning and subsystems allocation will be generated with a high degree of automation. System configuration will be validated for ensuring that the resources assigned to a partition are sufficient for executing the allocated software components and that time requirements are met

Hydraulic bearing puller

A bearing puller tool is an essential repair aid when working on an engine or machine that has pressure-set bearings in its mechanisms. Without the tool, repair of bad bearings would be difficult and prone to a high risk of damage to the shaft or casing block of gearbox and engine. It is designed as a tool to make the removal and installation of bearings simple and efficient, bearing pullers often resemble a pair of scissors. In some cases, the configuration of the puller will allow the extraction of both gears and bearings, including those that are connected with a series of shafts within the mechanism. Different sizes of bearing pullers make it possible to use the device on everything from a pair of skates to complicated industrial machinery. ‘Hydraulic Bearing Puller' is one of the products that have been modified from the original product in the market. Extensive studies have been conducted on service centers to implement this product. Most workers remove the bearing from the shaft (shaft) a way tap so that it can be removed. Apart from that they also use the 'bearing puller' common but with high cost. From the original product, we have made modifications to equipment for easy used by employees

Modeling Mixed-critical Systems in Real-time BIP

International audienceThe proliferation of multi- and manycores creates an important design problem: the design and verification for mixed-criticality constraints in timing and safety, taking into account the resource sharing and hardware faults. In our work, we aim to contribute towards the solution of these problems by using a formal design language - the real time BIP, to model both hardware and software, functionality and scheduling. In this paper we present the initial experiments of modeling mixed-criticality systems in BIP

Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset

International audienceIn this paper we present an end-to-end framework for the design and the implementation of embedded systems on a symmetric multicore. The developer first specifies the system using the \prelude language, a formal real-time architecture description language. The Prelude compiler then translates the program into a set of communicating periodic tasks that preserves the semantics of the original program. The schedulability analysis is performed by the SchedMCore analyzer. If the program is schedulable, it can finally be executed on the target multicore architecture using the \schedmcore execution environment

D2ADA: Dynamic Density-aware Active Domain Adaptation for Semantic Segmentation

In the field of domain adaptation, a trade-off exists between the model performance and the number of target domain annotations. Active learning, maximizing model performance with few informative labeled data, comes in handy for such a scenario. In this work, we present D2ADA, a general active domain adaptation framework for semantic segmentation. To adapt the model to the target domain with minimum queried labels, we propose acquiring labels of the samples with high probability density in the target domain yet with low probability density in the source domain, complementary to the existing source domain labeled data. To further facilitate labeling efficiency, we design a dynamic scheduling policy to adjust the labeling budgets between domain exploration and model uncertainty over time. Extensive experiments show that our method outperforms existing active learning and domain adaptation baselines on two benchmarks, GTA5 -> Cityscapes and SYNTHIA -> Cityscapes. With less than 5% target domain annotations, our method reaches comparable results with that of full supervision.Comment: 14 pages, 5 figure

Designing fuzzy FMEA risk ,management AT production departement PT.Charoen Pokphand Tbk- poultry feed Krian, Sidoarjo

PT. Charoen Pokphand adalah perusahaan manufaktur pembuatan pakan ternak terbesar di Indonesia. Perusahaan ini memproduksi pakan ternak, bibit ayam, dan aneka olahan makanan berbahan daging ayam. Melihat permintaan dari pakan ternak yang tinggi dari tahun ke tahun, perusahaan harus mendorong dirinya untuk berinovasi dan menungkatkan kualitas dan performansi dari bisnis proses. Bisnis proses yang dominan dimiliki perusahaan ini adalah pembuatan pakan ternak. Departemen produksi dalam hal ini memiliki wewenang untuk mengatur seluruh proses produksi pakan ternak. Beberapa aktivitas didalam departemen ini memiliki banyak kondisi ketidakpastian yang dapat terjadi di lantai produksi. Ketidakpastian ini dapat mengganggu tujuan strategis dari perusahaan. Semua hal yang dapat menghambat ketercapaian tujuan dari bisnis proses dapat dikatakan sebagai risiko. Saat ini perusahaan belum memiliki data risiko secara detail. Oleh karena itu penelitian ini akan mengidentifikasi risiko apa saja yang dapat menganggu berjalannya bisnis proses produksi pada PT. Charoen Pokphand. Identifikasi risiko menggunakan metode Fault Tree Analysis. FTA digunakan untuk mendapatkan akar permasalahan dalam sebuah aktivitas. Penilaian risiko menggunakan metode Fuzzy FMEA. Metode ini dipalikasikan untuk mengurangi tingkat subjektifitas dari para ahli dalam memberikan skor pada setiap risikonya. Output dari penelitian ini yaitu dashboard risiko yang menggunakan makro excel. Output ini dapat membantu user dalam mengakses risiko bisnis proses perusahaan dengan mudah. ========================================================================================================= PT. Charoen Pokphand is the largest poultry feed manufacturing company in Indonesia. It produces animal feed, day-old chick, and chicken processing products. Seeing the demand of poultry feed is increasingly higher by year, this company should push itself to innovate and improve its business process and performance. The biggest business process of this company is poultry feed production. Production department is authorized department that manage the whole production process. Some activities inside will bring a lot of uncertainties that will be occured on the production floor. These uncertainties may block the strategy objectives. All things that can interfere the success of business objectives can be considered as a risk. Currently, they do not have risk data in detail. Therefore, this research will identify risks that may be a failure cause of activity in PT. Charoen Pokphand. The risk identification method is done by using Fault Tree Analysis. FTA is used to obtain root cause problems in each activities. The risk assessment method is done by using Fuzzy FMEA. This method is applied to reduce the expert subjectivity in giving risk score. The output of this research is risk dashboard using Macro Excel. This tool helps user to access the business process risk of PT. Charoen Pokphand