Interaction between Advanced Glycation End Products Formation and Vascular Responses in Femoral and Coronary Arteries from Exercised Diabetic Rats

Background: The majority of studies have investigated the effect of exercise training (TR) on vascular responses in diabetic animals (DB), but none evaluated nitric oxide (NO) and advanced glycation end products (AGEs) formation associated with oxidant and antioxidant activities in femoral and coronary arteries from trained diabetic rats. Our hypothesis was that 8-week TR would alter AGEs levels in type 1 diabetic rats ameliorating vascular responsiveness. Methodology/Principal Findings: Male Wistar rats were divided into control sedentary (C/SD), sedentary diabetic (SD/DB), and trained diabetic (TR/DB). DB was induced by streptozotocin (i.p.: 60 mg/kg). TR was performed for 60 min per day, 5 days/week, during 8 weeks. Concentration-response curves to acetylcholine (ACh), sodium nitroprusside (SNP), phenylephrine (PHE) and tromboxane analog (U46619) were obtained. The protein expressions of eNOS, receptor for AGEs (RAGE), Cu/Zn-SOD and Mn-SOD were analyzed. Tissues NO production and reactive oxygen species (ROS) generation were evaluated. Plasma nitrate/nitrite (NOx-), superoxide dismutase (SOD), catalase (CAT), thiobarbituric acid reactive substances (TBARS) and N-epsilon-(carboxymethyl) lysine (CML, AGE biomarker). A rightward shift in the concentration-response curves to ACh was observed in femoral and coronary arteries from SD/DB that was accompanied by an increase in TBARS and CML levels. Decreased in the eNOS expression, tissues NO production and NOx- levels were associated with increased ROS generation. A positive interaction between the beneficial effect of TR on the relaxing responses to ACh and the reduction in TBARS and CML levels were observed without changing in antioxidant activities. The eNOS protein expression, tissues NO production and ROS generation were fully re-established in TR/DB, but plasma NOx- levels were partially restored. Conclusion: Shear stress induced by TR fully restores the eNOS/NO pathway in both preparations from non-treated diabetic rats, however, a massive production of AGEs still affecting relaxing responses possibly involving other endothelium-dependent vasodilator agents, mainly in coronary artery.

Patellar Tendon Healing With Platelet-Rich Plasma A Prospective Randomized Controlled Trial

Background: The patellar tendon has limited ability to heal after harvesting its central third. Platelet-rich plasma (PRP) could improve patellar tendon healing. Hypothesis: Adding PRP to the patellar tendon harvest site would improve donor site healing and improve clinical outcome at 6 months after anterior cruciate ligament (ACL) reconstruction with a patellar tendon graft. Study Design: Randomized controlled trial; Level of evidence, 1. Methods: Twenty-seven patients were randomly divided to receive (n = 12) or not receive (n = 15) PRP in the patellar tendon harvest site during ACL reconstruction. The primary outcome was magnetic resonance imaging (MRI) assessment of patellar tendon healing (gap area) after 6 months. Secondary outcomes were questionnaires and isokinetic testing of ACL reconstruction with a patellar tendon graft comparing both groups. Results: Patellar tendon gap area was significantly smaller in the PRP group (4.9 +/- 5.3 mm(2); 95% confidence interval [CI], 1.1-8.8) than in the control group (9.4 +/- 4.4 mm(2); 95% CI, 6.6-12.2; P = .046). Visual analog scale score for pain was lower in the PRP group immediately postoperatively (3.8 +/- 1.0; 95% CI, 3.18-4.49) than in the control group (5.1 +/- 1.4; 95% CI, 4.24-5.90; P = .02). There were no differences after 6 months in questionnaire and isokinetic testing results comparing both groups. Conclusion: We showed that PRP had a positive effect on patellar tendon harvest site healing on MRI after 6 months and also reduced pain in the immediate postoperative period. Questionnaire and isokinetic testing results were not different between the groups at 6 months.

Evaluation of CA-125 and soluble CD-23 in patients with pelvic endometriosis: a case-control study

Objective: To evaluate serum concentrations of CA-125 and soluble CD-23 and to correlate them with clinical symptoms, localization and stage of pelvic endometriosis and histological classification of the disease. Methods: Blood samples were collected from 44 women with endometriosis and 58 without endometriosis, during the first three days (1st sample) and during the 7th, 8th and 9th day (2nd sample) of the menstrual cycle. Measurements of CA-125 and soluble CD-23 were performed by ELISA. Mann-Whitney U test was used for age, pain evaluations (visual analog scale) and biomarkers concentrations. Results: Serum levels Of CA-125 were higher in endometriosis patients when compared to the control group during both periods of the menstrual cycle evaluated in the study. This marker was also elevated in women with chronic pelvic pain, deep dyspareunia (2nd sample), dysmenorrhea (both samples) and painful defecation during the menstrual flow (2nd sample). CA-125 concentration was higher in advanced stages of the disease in both samples and also in women with ovarian endometrioma. Concerning CD-23, no statistically significant differences were observed between groups. Conclusion: The concentrations of CA-125 were higher in patients with endometriosis than in patients without the disease. No significantly differences were observed for soluble CD-23 levels between groups.

Multiparameter twisted Weyl algebras

We introduce a new family of twisted generalized Weyl algebras, called multiparameter twisted Weyl algebras, for which we parametrize all simple quotients of a certain kind. Both Jordan's simple localization of the multiparameter quantized Weyl algebra and Hayashi's q-analog of the Weyl algebra are special cases of this construction. We classify all simple weight modules over any multiparameter twisted Weyl algebra. Extending results by Benkart and Ondrus, we also describe all Whittaker pairs up to isomorphism over a class of twisted generalized Weyl algebras which includes the multiparameter twisted Weyl algebras. (C) 2011 Elsevier Inc. All rights reserved.

Clinical and surgical evaluation of the indication of postoperative antibiotic prescription in third molar surgery

Objective. The aim of this study was to evaluate the need for antibiotic prescription in third molar surgery. Study design. A double-blind randomized study was carried out with 71 patients from CODONT (Dentistry Center of the Police of Sao Paulo). Amoxicillin, clindamycin, or no medication was administered for 7 days immediately after surgery. The participants evaluated the presence of pain, edema, interincisal distance (ID), presence of infection, Pell and Gregory classification, rescue analgesia, osteotomy, and odontosection. Results. There was no difference (P < .05) between antibiotics and control over the surgery duration, dose, visual analog scale (VAS), ID, and edema, yet significant differences were seen over time for VAS, edema, and ID. Conclusions. Antibiotic prescription should not be indicated in all clinical conditions, yet it is necessary to correctly evaluate factors such as systemic condition of the patient, skill of the operator, and contamination of the surgical environment. (Oral Surg Oral Med Oral Pathol Oral Radiol 2012; 114(suppl 5):S26-S31)

EFFECTS OF MUSCULAR STRETCHING AND SEGMENTAL STABILIZATION ON FUNCTIONAL DISABILITY AND PAIN IN PATIENTS WITH CHRONIC LOW BACK PAIN: A RANDOMIZED, CONTROLLED TRIAL

Objective: The purpose of this study was to compare the effects of 2 exercise programs, segmental stabilization exercises (SSEs) and stretching of trunk and hamstrings muscles, on functional disability, pain, and activation of the transversus abdominis muscle (TrA), in individuals with chronic low back pain. Methods: A total of 30 participants were enrolled in this study and randomly assigned to 1 of 2 groups as a function of intervention. In the segmental stabilization group (SS), exercises focused on the TrA and lumbar multifidus muscles, whereas in the stretching group (ST), exercises focused on stretching the erector spinae, hamstrings, and triceps surae. Severity of pain (visual analog scale and McGill pain questionnaire) and functional disability (Oswestry disability questionnaire) and TrA muscle activation capacity (Pressure Biofeedback Unit, or PBU) were compared as a function of intervention. Interventions lasted 6 weeks, and sessions happened twice a week (30 minutes each). Analysis of variance was used for intergroup and intragroup comparisons. Results: As compared with baseline, both treatments were effective in relieving pain and improving disability (P < .001). Those in the SS group had significantly higher gains for all variables. The stretching group did not effectively activate the TrA (P = .94). Conclusion: Both techniques improved pain and reduced disability. In this study, SS was superior to muscular stretching for the measured variables associated with chronic low back pain. (J Manipulative Physiol Ther 2012;35:279-285)

Alternative management of diabetic ketoacidosis in a Brazilian pediatric emergency department

DKA is a severe metabolic derangement characterized by dehydration, loss of electrolytes, hyperglycemia, hyperketonemia, acidosis and progressive loss of consciousness that results from severe insulin deficiency combined with the effects of increased levels of counterregulatory hormones (catecholamines, glucagon, cortisol, growth hormone). The biochemical criteria for diagnosis are: blood glucose > 200 mg/dl, venous pH <7.3 or bicarbonate <15 mEq/L, ketonemia >3 mmol/L and presence of ketonuria. A patient with DKA must be managed in an emergency ward by an experienced staff or in an intensive care unit (ICU), in order to provide an intensive monitoring of the vital and neurological signs, and of the patient's clinical and biochemical response to treatment. DKA treatment guidelines include: restoration of circulating volume and electrolyte replacement; correction of insulin deficiency aiming at the resolution of metabolic acidosis and ketosis; reduction of risk of cerebral edema; avoidance of other complications of therapy (hypoglycemia, hypokalemia, hyperkalemia, hyperchloremic acidosis); identification and treatment of precipitating events. In Brazil, there are few pediatric ICU beds in public hospitals, so an alternative protocol was designed to abbreviate the time on intravenous infusion lines in order to facilitate DKA management in general emergency wards. The main differences between this protocol and the international guidelines are: intravenous fluid will be stopped when oral fluids are well tolerated and total deficit will be replaced orally; if potassium analysis still indicate need for replacement, it will be given orally; subcutaneous rapid-acting insulin analog is administered at 0.15 U/kg dose every 2-3 hours until resolution of metabolic acidosis; approximately 12 hours after treatment initiation, intermediate-acting (NPH) insulin is initiated at the dose of 0.6-1 U/kg/day, and it will be lowered to 0.4-0.7 U/kg/day at discharge from hospital.

Properties of experimental resins based on synthesized propoxylated bis-GMA with different propionaldehyde ratios

The effect of different propionaldehyde ratios on the properties of bis-GMA-based comonomers and copolymers diluted with propoxylated bis-GMA (CH3bis-GMA) was evaluated. Five experimental comonomers were prepared combining bis-GMA with CH3bis-GMA and propionaldehyde at 0, 2, 8, 16, 24 mol%. Light polymerization was effected with the use of 0.2 wt. (%) each of camphorquinone and N,N-dimethyl-p-toluidine. Resin degrees of conversion (%DC) were evaluated by FT-IR spectrophotometry and Tg by Differential Scanning Calorimeter. Complex viscosity (η*), the effect of temperature on η*, and Microhardness (H) for dry and wet samples were also determined. Data were analyzed by Student's t-test, one-way ANOVA and Tukey-Kramer test (α = 0.05). The group with 24 mol% additive had a significant increase in %DC and H, and the lowest comonomer Tg and η*. No remarkable variation was noted in copolymers Tg s. All resins presented Newtonian behavior of viscosity, which linearly decreased with increased temperature. The η* decreased sigmoidally as the additive ratio increased.

The Gemini NICI planet-finding campaign: the frequency of giant planets around young B and A stars

We have carried out high contrast imaging of 70 young, nearby B and A stars to search for brown dwarf and planetary companions as part of the Gemini NICI Planet-Finding Campaign. Our survey represents the largest, deepest survey for planets around high-mass stars (≈1.5-2.5 M ☉) conducted to date and includes the planet hosts β Pic and Fomalhaut. We obtained follow-up astrometry of all candidate companions within 400 AU projected separation for stars in uncrowded fields and identified new low-mass companions to HD 1160 and HIP 79797. We have found that the previously known young brown dwarf companion to HIP 79797 is itself a tight (3 AU) binary, composed of brown dwarfs with masses 58$^{+21}_{-20}$ M Jup and 55$^{+20}_{-19}$ M Jup, making this system one of the rare substellar binaries in orbit around a star. Considering the contrast limits of our NICI data and the fact that we did not detect any planets, we use high-fidelity Monte Carlo simulations to show that fewer than 20% of 2 M ☉ stars can have giant planets greater than 4 M Jup between 59 and 460 AU at 95% confidence, and fewer than 10% of these stars can have a planet more massive than 10 M Jup between 38 and 650 AU. Overall, we find that large-separation giant planets are not common around B and A stars: fewer than 10% of B and A stars can have an analog to the HR 8799 b (7 M Jup, 68 AU) planet at 95% confidence. We also describe a new Bayesian technique for determining the ages of field B and A stars from photometry and theoretical isochrones. Our method produces more plausible ages for high-mass stars than previous age-dating techniques, which tend to underestimate stellar ages and their uncertainties.

Ensino de Arquitetura e Urbanismo com auxilio de ferramentas digitais

Este texto pretende discutir a importância do desenho à mão livre no processo projetivo arquitetônico inserido no contexto da era digital, por meio do uso das mesas digitais, comumente chamadas de tablets. A relevância desta discussão consiste em identificar como os desenhos feitos com tablets mantêm a percepção e o traço individual de cada pessoa. Pretende-se, com isto, não apenas rever e atualizar as disciplinas de desenho nos cursos de arquitetura, suas práticas e seus procedimentos, mas também, discutir o papel da linguagem e representação – analógica ou digital – e sua integração com outras disciplinas. São apresentadas algumas considerações sobre o uso dessa ferramenta nas seguintes disciplinas: História da Arquitetura e Urbanismo, Paisagismo e Projeto, ministradas no Instituto de Arquitetura e Urbanismo da Universidade de São Paulo, Brasil. As tablets são apresentadas como um meio de conexão entre o projeto analógico e digital, capazes de capturar a pressão e a velocidade do traço, aproximando a potencialidade e racionalidade do processo feito no computador com o gesto criativo do desenho à mão livre, resultando em uma sinergia entre essas duas linguagens.

O desenho no processo projetivo: estudo das representações gráficas de projetos de Paulo Mendes da Rocha

Há anos vem-se questionando o papel da representação gráfica na arquitetura, diante das novas tecnologias gráficas computacionais e novos processos projetivos delas decorrentes. Entretanto, o desenho à mão livre ainda se mostra atuante no processo projetivo, marcado por um olhar atento, uma percepção individual e um tempo de execução que permite imersão, entrega e reflexão. Este artigo apresenta uma análise a partir de um olhar mais atento ao desenho de projetos do arquiteto Paulo Mendes da Rocha, como contribuição para a discussão sobre o papel do desenho analógico no processo projetivo. Foram selecionados alguns projetos do arquiteto: Projeto para o Concurso de remodelação do centro urbano de Santiago (Chile); Estádio Serra Dourada; Edifício Jaraguá, Caetano de Campos; Ginásio do Clube Atlético Paulistano (1958); Residência no Butantã (1964); residência Fernando Millan (1970) e Museu Brasileiro da Escultura (1986). Este artigo apresenta estudos de leitura sobre os desenhos originais do arquiteto com o objetivo de detectar as intenções projetuais, conceitos e características do projeto. Foram feitas marcações gráficas sobre os desenhos originais, evidenciando uma leitura particular do pesquisador que permitiu uma melhor compreensão dos projetos.

A study of the anti-plasmodium activity of angiotensin II analogs

Controlling the dissemination of malaria requires the development of new drugs against its etiological agent, a protozoan of the Plasmodium genus. Angiotensin II and its analog peptides exhibit activity against the development of immature and mature sporozoites of Plasmodium gallinaceum. In this study, we report the synthesis and characterization of angiotensin II linear and cyclic analogs with anti-plasmodium activity. The peptides were synthesized by a conventional solid-phase method on Merrifield's resin using the t-Boc strategy, purified by RP-HPLC and characterized by liquid chromatography/ESI (+) MS (LC-ESI(+)/MS), amino acid analysis, and capillary electrophoresis. Anti-plasmodium activity was measured in vitro by fluorescence microscopy using propidium iodine uptake as an indicator of cellular damage. The activities of the linear and cyclic peptides are not significantly different (p < 0.05). Kinetics studies indicate that the effects of these peptides on plasmodium viability overtime exhibit a sigmoidal profile and that the system stabilizes after a period of 1 h for all peptides examined. The results were rationalized by partial least-square analysis, assessing the position-wise contribution of each amino acid. The highest contribution of polar amino acids and a Lys residue proximal to the C-terminus, as well as that of hydrophobic amino acids in the N-terminus, suggests that the mechanism underlying the anti-malarial activity of these peptides is attributed to its amphiphilic character.

Characterization and modeling of low-frequency noise in MOSFETs

For many years, RF and analog integrated circuits have been mainly developed using bipolar and compound semiconductor technologies due to their better performance. In the last years, the advance made in CMOS technology allowed analog and RF circuits to be built with such a technology, but the use of CMOS technology in RF application instead of bipolar technology has brought more issues in terms of noise. The noise cannot be completely eliminated and will therefore ultimately limit the accuracy of measurements and set a lower limit on how small signals can be detected and processed in an electronic circuit. One kind of noise which affects MOS transistors much more than bipolar ones is the low-frequency noise. In MOSFETs, low-frequency noise is mainly of two kinds: flicker or 1/f noise and random telegraph signal noise (RTS). The objective of this thesis is to characterize and to model the low-frequency noise by studying RTS and flicker noise under both constant and switched bias conditions. The effect of different biasing schemes on both RTS and flicker noise in time and frequency domain has been investigated.

Applications of High Speed Configurable Logic Devices in Modern Particle Physics Experiments

Several activities were conducted during my PhD activity. For the NEMO experiment a collaboration between the INFN/University groups of Catania and Bologna led to the development and production of a mixed signal acquisition board for the Nemo Km3 telescope. The research concerned the feasibility study for a different acquisition technique quite far from that adopted in the NEMO Phase 1 telescope. The DAQ board that we realized exploits the LIRA06 front-end chip for the analog acquisition of anodic an dynodic sources of a PMT (Photo-Multiplier Tube). The low-power analog acquisition allows to sample contemporaneously multiple channels of the PMT at different gain factors in order to increase the signal response linearity over a wider dynamic range. Also the auto triggering and self-event-classification features help to improve the acquisition performance and the knowledge on the neutrino event. A fully functional interface towards the first level data concentrator, the Floor Control Module, has been integrated as well on the board, and a specific firmware has been realized to comply with the present communication protocols. This stage of the project foresees the use of an FPGA, a high speed configurable device, to provide the board with a flexible digital logic control core. After the validation of the whole front-end architecture this feature would be probably integrated in a common mixed-signal ASIC (Application Specific Integrated Circuit). The volatile nature of the configuration memory of the FPGA implied the integration of a flash ISP (In System Programming) memory and a smart architecture for a safe remote reconfiguration of it. All the integrated features of the board have been tested. At the Catania laboratory the behavior of the LIRA chip has been investigated in the digital environment of the DAQ board and we succeeded in driving the acquisition with the FPGA. The PMT pulses generated with an arbitrary waveform generator were correctly triggered and acquired by the analog chip, and successively they were digitized by the on board ADC under the supervision of the FPGA. For the communication towards the data concentrator a test bench has been realized in Bologna where, thanks to a lending of the Roma University and INFN, a full readout chain equivalent to that present in the NEMO phase-1 was installed. These tests showed a good behavior of the digital electronic that was able to receive and to execute command imparted by the PC console and to answer back with a reply. The remotely configurable logic behaved well too and demonstrated, at least in principle, the validity of this technique. A new prototype board is now under development at the Catania laboratory as an evolution of the one described above. This board is going to be deployed within the NEMO Phase-2 tower in one of its floors dedicated to new front-end proposals. This board will integrate a new analog acquisition chip called SAS (Smart Auto-triggering Sampler) introducing thus a new analog front-end but inheriting most of the digital logic present in the current DAQ board discussed in this thesis. For what concern the activity on high-resolution vertex detectors, I worked within the SLIM5 collaboration for the characterization of a MAPS (Monolithic Active Pixel Sensor) device called APSEL-4D. The mentioned chip is a matrix of 4096 active pixel sensors with deep N-well implantations meant for charge collection and to shield the analog electronics from digital noise. The chip integrates the full-custom sensors matrix and the sparsifification/readout logic realized with standard-cells in STM CMOS technology 130 nm. For the chip characterization a test-beam has been set up on the 12 GeV PS (Proton Synchrotron) line facility at CERN of Geneva (CH). The collaboration prepared a silicon strip telescope and a DAQ system (hardware and software) for data acquisition and control of the telescope that allowed to store about 90 million events in 7 equivalent days of live-time of the beam. My activities concerned basically the realization of a firmware interface towards and from the MAPS chip in order to integrate it on the general DAQ system. Thereafter I worked on the DAQ software to implement on it a proper Slow Control interface of the APSEL4D. Several APSEL4D chips with different thinning have been tested during the test beam. Those with 100 and 300 um presented an overall efficiency of about 90% imparting a threshold of 450 electrons. The test-beam allowed to estimate also the resolution of the pixel sensor providing good results consistent with the pitch/sqrt(12) formula. The MAPS intrinsic resolution has been extracted from the width of the residual plot taking into account the multiple scattering effect.

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.