Safety Verification for Reuse of PET and Glass Bottles
نویسندگان
چکیده
منابع مشابه
[Safety verification for reuse of PET and glass bottles].
In order to verify the safety associated with reusing PET and glass bottles, a challenge test was conducted with five surrogate contaminants: 1,1,1-trichloroethane, chlorobenzene, toluene, benzophenone and phenyl cyclohexane. Bottles were filled with a cocktail solution of these contaminants and stored at 50 °C for 7 days, then washed with water and alkaline solutions. Material and migration te...
متن کاملVerification Reuse and Frameworks
Design patterns and frameworks as reuse mechanisms hold much promise in the continuing effort to manage software complexity. They provide a vehicle for experts to convey their experience to other software designers. The formal verification of programs is an aspect of system development which software designers find difficult and cumbersome. This is mainly due to the complexity and amount of wor...
متن کاملSoftware Reuse and Safety
This tutorial addresses issues and current practices regarding the important topic of the interaction of software reuse and safety. This topic has become very relevant to modern embedded systems in domains from aerospace to automotive, as new architectures are introduced that encourage the development and use of reusable components. The two sections of the tutorial provide first an introduction...
متن کاملVerification Components Reuse
Design verification of ASICs is often approached in an ad-hoc manner without the care, planning and scrutiny that usually accompanies a typical design effort. As the complexity of ASIC design increases, it is expected that the complexity of verification environments of such designs will increase as well. To reduce development time and effort, design reuse or the use of design blocks from one pr...
متن کاملReuse in Software Verification
A major obstacle facing adoption of formal software verification is the difficulty to track changes in the target code and to accomodate them in specifications and in verification arguments. We introduce abstract method calls, a new verification rule for method calls that can be used in most contract-based verification settings. By combining abstract method calls, structured reuse in specificat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Food Hygiene and Safety Science (Shokuhin Eiseigaku Zasshi)
سال: 2011
ISSN: 0015-6426,1882-1006
DOI: 10.3358/shokueishi.52.112